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

• Autore: Ebbinghaus, Heinz-Dieter
• Pubblicazione: Cham, : Springer, 2021
• Titolo uniforme: Einführung in die mathematische Logik
• Edizione: 3. ed
• Descrizione fisica: ix, 304 p. : ill. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03B10 - Classical first-order logic [MSC 2020]; 03Bxx - General logic [MSC 2020]; 03C07 - Basic properties of first-order languages and structures [MSC 2020]
• Soggetto non controllato: Axiom system logic; Computability logic; First-order language; First-order logic; Gödel incompleteness 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- >
• Note generali: Tradotto dal tedesco
• Titolo autorizzato: Einführung in die mathematische Logik
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00274931
• 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 , 1950- ; 291