02751nam0 22006613i 450 VAN0027493120260130090753.758N978303073839620240415d2021 |0itac50 baengCH|||| |||||i e bcrMathematical LogicHeinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas3. edChamSpringer2021ix, 304 p.ill.24 cmTradotto dal tedesco001VAN000235792001 Graduate texts in mathematics210 New York [etc.]Springer1950-291VAN00293249Einführung in die mathematische Logik438320703-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B10Classical first-order logic [MSC 2020]VANC024530MF03BxxGeneral logic [MSC 2020]VANC024425MF03C07Basic properties of first-order languages and structures [MSC 2020]VANC024469MFAxiom system logicKW:KComputability logicKW:KFirst-order languageKW:KFirst-order logicKW:KGödel incompleteness theoremKW:KHerbrand's theoremKW:KInfinitary languagesKW:KLindström’s theoremKW:KLogic computer scienceKW:KMathematical logicKW:KMathematical provabilityKW:KModel theory logicKW:KPresburger arithmeticKW:KPropositional logicKW:KSecond order logicKW:KTrakhtenbrot’s theoremKW:KWeak monadic second orderKW:KCHChamVANL001889EbbinghausHeinz-DieterVANV02440946491FlumJörgVANV04426855649ThomasWolfgang1947- VANV044291725869Springer <editore>VANV108073650Ebbinghaus, H.-D.Ebbinghaus, Heinz-DieterVANV044267Flum, JorgFlum, JörgVANV062007ITSOL20260206RICAhttps://doi.org/10.1007/978-3-030-73839-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00274931BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 8309 08eMF8309 20240430 Einführung in die mathematische Logik4383207UNICAMPANIA