02596nam0 22006133i 450 VAN027493120240529114811.388N978303073839620240415d2021 |0itac50 baengCH|||| |||||Mathematical LogicHeinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas3. edChamSpringer2021ix, 304 p.ill.24 cm001VAN00235792001 Graduate texts in mathematics210 New York [etc.]Springer29103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03BxxGeneral logic [MSC 2020]VANC024425MF03C07Basic properties of first-order languages and structures [MSC 2020]VANC024469MF03B10Classical first-order logic [MSC 2020]VANC024530MFAxiom system logicKW:KComputability logicKW:KFirst-order languageKW:KFirst-order logicKW:KGraduate mathematical logicKW:KGödel’s completeness 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örgVANV062007ITSOL20240614RICAhttps://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-CE0120VAN08NVAN0274931BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 8309 08eMF8309 20240430 Mathematical logic1424697UNICAMPANIA