Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

• Autore: Ebbinghaus, Heinz-Dieter
• Pubblicazione: Cham, : Springer, 2021
• Edizione: 3. ed
• Descrizione fisica: ix, 304 p. : ill. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03Bxx - General logic [MSC 2020]; 03C07 - Basic properties of first-order languages and structures [MSC 2020]; 03B10 - Classical first-order logic [MSC 2020]
• Soggetto non controllato: Axiom system logic; Computability logic; First-order language; First-order logic; Graduate mathematical logic; Gödel’s completeness theorem; Herbrand's theorem; Infinitary languages; Lindström’s theorem; Logic computer science; Mathematical logic; Mathematical provability; Model theory logic; Presburger arithmetic; Propositional logic; Second order logic; Trakhtenbrot’s theorem; Weak monadic second order
• Altri autori: Flum, Jörg Thomas, Wolfgang <1947- >
• Titolo autorizzato: Mathematical logic
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0274931
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/978-3-030-73839-6
• Serie: Graduate texts in mathematics New York [etc.] . -Springer ; 291