00807nam0 2200277 450 991033855240332120190924104238.0978-1-78639-343-220190924d2019----km y0itay50 baengUSa 001yyTourism information technologyPierre J. Benckendorff, Zheng Xiang, Pauline J. Sheldon3rd. ed.BostonCABI2019XXVI, 374 p.ill.24 cmBenckendorffPierre J.758503XiangZheng767046Sheldon,Pauline J.117543ITUNINARICAUNIMARCBK9910338552403321AZTUR48A2302DECBCDECBCTourism information technology1561360UNINA01686nam0 22003973i 450 VAN0026827320240806101524.998N978146139441920231130d1979 |0itac50 baengUS|||| |||||Introduction to mathematical logicset theory, computable functions, model theoryJerome MalitzNew YorkSpringer1979xii, 198 p.25 cm001VAN000240192001 Undergraduate texts in mathematics210 Berlin [etc.]Springer1958-03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03CxxModel theory [MSC 2020]VANC024387MF03ExxSet theory [MSC 2020]VANC019939MFCompactness theoremKW:KComputability theoryKW:KMathematical logicKW:KModel theoryKW:KProofsKW:KSet TheoryKW:KUSNew YorkVANL000011MalitzJeromeVANV04149042104Springer <editore>VANV108073650ITSOL20250509RICAhttps://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-CE0120VAN08NVAN00268273BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 7444 08eMF7444 20231204 Introduction to mathematical logic348626UNICAMPANIA