01291nam0 2200301 i 450 SUN005549620180312014959.78207-204-2103-90.0020061108r2000 |0engc50 baengNL|||| |||||Introduction to metamathematicsby Stephen Cole KleeneAmsterdamNorth-HollandGroningenNoordhoffstampa 2000X, 550 p.24 cm.001SUN00555032001 Bibliotheca mathematica1210 AmsterdamNorth-HollandGroningenNoordhoff1952-.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003D20Recursive functions and relations, subrecursive hierarchies [MSC 2020]MFSUNC024470GroningenSUNL000431AmsterdamSUNL001716Kleene, Stephen ColeSUNV04068457809North-HollandSUNV000053650NoordhoffSUNV005076650ITSOL20200727RICASUN0055496UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2205 08 5778 II 20061108 Introduction to metamathematics108230UNICAMPANIA