01373nam0 2200313 i 450 VAN0005549620240806100510.51407-204-2103-920061108r2000 |0itac50 baengNL|||| |||||Introduction to metamathematicsby Stephen Cole KleeneAmsterdamNorth-Holland ; GroningenNoordhoffstampa 2000X, 550 p.24 cm001VAN000555032001 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>VANV107935650ITSOL20240906RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00055496BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2205 08 5778 II 20061108 Introduction to metamathematics108230UNICAMPANIA