LEADER 01291nam0 2200301 i 450 001 SUN0055496 005 20180312014959.782 010 $a07-204-2103-9$d0.00 100 $a20061108r2000 |0engc50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 200 1 $aIntroduction to metamathematics$fby Stephen Cole Kleene 210 $aAmsterdam$cNorth-Holland$aGroningen$cNoordhoff$dstampa 2000 215 $aX, 550 p.$d24 cm. 410 1$1001SUN0055503$12001 $aBibliotheca mathematica$v1$1210 $aAmsterdam$cNorth-Holland$aGroningen$cNoordhoff$d1952-. 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750 606 $a03D20$xRecursive functions and relations, subrecursive hierarchies [MSC 2020]$2MF$3SUNC024470 620 $dGroningen$3SUNL000431 620 $dAmsterdam$3SUNL001716 700 1$aKleene$b, Stephen Cole$3SUNV040684$057809 712 $aNorth-Holland$3SUNV000053$4650 712 $aNoordhoff$3SUNV005076$4650 801 $aIT$bSOL$c20200727$gRICA 912 $aSUN0055496 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2205 $e08 5778 II 20061108 996 $aIntroduction to metamathematics$9108230 997 $aUNICAMPANIA