LEADER 01192nam0 2200277 i 450 
001 VAN00054804
005 20240806100508.279
010   $a08-17-64249-8
100   $a20061024d2002       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aFoundations of logic and mathematics$eapplications to computer science and cryptography$fYves Nievergelt
210   $aBoston$cBirkhäuser$d2002
215   $aXVI, 415 p.$cill.$d26 cm
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
620   $dBoston$3VANL000051
700  1$aNievergelt$bYves$3VANV022556$022951
712   $aBirkhäuser <editore>$3VANV108193$4650
801   $aIT$bSOL$c20240906$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Nievergelt - Foundations of logic and mathematics.pdf$zContents
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN00054804
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   3029        $e08   6727      I       20061024            
996   $aFoundations of logic and mathematics$91425000
997   $aUNICAMPANIA