An Invitation to Mathematical Logic / David Marker

• Autore: Marker, David
• Pubblicazione: Cham, : Springer, 2024
• Descrizione fisica: xviii, 357 p. : ill. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03Cxx - Model theory [MSC 2020]; 03Dxx - Computability and recursion theory [MSC 2020]; 03Fxx - Proof theory and constructive mathematics [MSC 2020]
• Soggetto non controllato: Completeness theorem; Computability introduction; Godel's completeness; Godel's incompleteness; Graduate mathematical logic; Hilbert's 10th problem; Incompleteness theorem; Logic for Computer Science; Logic for philosophy; Marker GTM; Mathematical logic; Model theory introduction; Peano arithmetic; Quantifier elimination; Turing reducibility; ultraproductS
• Titolo autorizzato: Invitation to Mathematical Logic
• ISBN: 978-30-315-5367-7
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00283788
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: /sebina/repository/catalogazione/documenti/An invitation to mathematical logic.pdf
• Serie: Graduate texts in mathematics New York [etc.] . -Springer , 1950- ; 301