01370nam0 2200313 i 450 VAN005549620240212035503.90807-204-2103-920061108r2000 |0itac50 baengNL|||| |||||Introduction to metamathematicsby Stephen Cole KleeneAmsterdamNorth-Holland ; GroningenNoordhoffstampa 2000X, 550 p.24 cm001VAN00555032001 Bibliotheca mathematica210 AmsterdamNorth-Holland ; GroningenNoordhoff103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D20Recursive functions and relations, subrecursive hierarchies [MSC 2020]VANC024470MFGroningenVANL000431AmsterdamVANL001716KleeneStephen ColeVANV04068457809Noordhoff <editore>VANV111238650North-Holland <editore>VANV107935650ITSOL20240216RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0055496BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2205 08 5778 II 20061108 Introduction to metamathematics108230UNICAMPANIA