01979nam0 2200505 i 450 VAN0005578820260130090725.99803-87942-58-0978-03-87942-58-220061112d1994 |0itac50 baengUS|||| |||||i e nncMathematical LogicH.-D. Ebbinghaus, J. Flum, W. Thomas2. edNew YorkSpringer1994x, 289 p.ill.24 cmTradotto dal tedesco001VAN000240192001 Undergraduate texts in mathematics210 Berlin [etc.]Springer1958-VAN00293249Einführung in die mathematische Logik438320703-XXMathematical logic and foundations [MSC 2020]VANC019750MFArithmeticKW:KCompactness theoremKW:KEquivalenceKW:KLogicKW:KMathematical logicKW:KModel theoryKW:KProofsKW:KUSNew YorkVANL000011EbbinghausHeinz-DieterVANV02440946491FlumJörgVANV04426855649ThomasWolfgang1947- VANV044291725869Springer <editore>VANV108073650Ebbinghaus, H.-D.Ebbinghaus, Heinz-DieterVANV044267Flum, JorgFlum, JörgVANV062007ITSOL20260206RICA/sebina/repository/catalogazione/documenti/Ebbinghaus, Flum, Thomas - Mathematical logic. 2nd ed..pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00055788BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1251 08 1990 I 20061112 Einführung in die mathematische Logik4383207UNICAMPANIA