01366nam0 2200313 i 450 VAN005570020240219040913.377978-01-985321-3-220061110d1991 |0itac50 baengUS|||| |||||Models of Peano arithmeticRichard KayeNew YorkClarendonOxford1991X, 292 p.24 cm001VAN00294982001 Oxford logic guides210 OxfordClarendon300 L'editore varia in: Oxford university1503-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F30First-order arithmetic and fragments [MSC 2020]VANC024401MF03C62Models of arithmetic and set theory [MSC 2020]VANC024421MFUSNew YorkVANL000011KayeRichardVANV04419059866Clarendon <editore>VANV107988650Oxford university <editore>VANV107944650ITSOL20240223RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0055700BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2158 08 3847 I 20061110 Models of Peano arithmetic383102UNICAMPANIA