LEADER 01373nam0 2200313 i 450 
001 VAN00055496
005 20240806100510.514
010   $a07-204-2103-9
100   $a20061108r2000       |0itac50      ba
101   $aeng
102   $aNL
105   $a||||    |||||
200 1 $aIntroduction to metamathematics$fby Stephen Cole Kleene
210   $aAmsterdam$cNorth-Holland ; Groningen$cNoordhoff$dstampa 2000
215   $aX, 550 p.$d24 cm
410  1$1001VAN00055503$12001 $aBibliotheca mathematica$1210  $aAmsterdam$cNorth-Holland ; Groningen$cNoordhoff$v1
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a03D20$xRecursive functions and relations, subrecursive hierarchies [MSC 2020]$3VANC024470$2MF
620   $dGroningen$3VANL000431
620   $dAmsterdam$3VANL001716
700  1$aKleene$bStephen Cole$3VANV040684$057809
712   $aNoordhoff <editore>$3VANV111238$4650
712   $aNorth-Holland <editore>$3VANV107935$4650
801   $aIT$bSOL$c20240906$gRICA
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN00055496
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2205        $e08   5778      II      20061108            
996   $aIntroduction to metamathematics$9108230
997   $aUNICAMPANIA