Logic and structure / Dirk van Dalen

• Autore: Dalen, Dirk van
• Pubblicazione: Berlin, : Springer, 1983
• Edizione: 2. ed
• Descrizione fisica: x, 210 p. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]
• Soggetto non controllato: Basic model theory; Computability theory; First-order logic with natural deduction; Gödel incompleteness theorem; Intuitionistic logic and semantics; Model theory; Normalisation of first-order logic; Predicate logic; Proof Theory; Proofs; Recursive functions; Second order logic; Set Theory
• Titolo autorizzato: Logic and structure
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00262811
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/978-3-662-02382-2
• Serie: Universitext Berlin [etc] . -Springer , 1930-