01565nam0 2200385 i 450 VAN005241220231214121331.89303-87903-46-1978-03-87903-46-020060918r19791987 |0itac50 baengUS|||| |||||Introduction to mathematical logicset theory, computable functions, model theoryJerome MalitzReprNew YorkSpringer1979 [stampa 1987]XII, 198 p.25 cm001VAN00240192001 Undergraduate texts in mathematics210 Berlin [etc.]Springer03-XXMathematical logic and foundations [MSC 2020]VANC019750MFCompactness theoremKW:KComputability theoryKW:KMathematical logicKW:KModel theoryKW:KProofsKW:KSet TheoryKW:KUSNew YorkVANL000011MalitzJeromeVANV04149042104Springer <editore>VANV108073650ITSOL20240614RICA/sebina/repository/catalogazione/documenti/Malitz - Introduction to mathematical logic.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0052412BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2587 08 1996 I 20060918 Introduction to mathematical logic348626UNICAMPANIA