01676nam0 22003973i 450 VAN026827320240307030852.287N978146139441920231130d1979 |0itac50 baengUS|||| |||||Introduction to mathematical logicset theory, computable functions, model theoryJerome MalitzNew YorkSpringer1979xii, 198 p.25 cm001VAN00240192001 Undergraduate texts in mathematics210 Berlin [etc.]Springer03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03ExxSet theory [MSC 2020]VANC019939MF03CxxModel theory [MSC 2020]VANC024387MFCompactness theoremKW:KComputability theoryKW:KMathematical logicKW:KModel theoryKW:KProofsKW:KSet TheoryKW:KUSNew YorkVANL000011MalitzJeromeVANV04149042104Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-1-4613-9441-9E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0268273BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 7444 08eMF7444 20231204 Introduction to mathematical logic348626UNICAMPANIA