Libri UniversitariApri il catalogo

Enderton – A mathematical introduction to logic

Libro adottato a Bologna, a.a. 2026/2027 · 1 canale

«Enderton – A mathematical introduction to logic» è adottato per Logica Matematica dal prof. Martino Lupini (Matematica – Bologna).

Enderton – A mathematical introduction to logicCerca su Amazon ›

Come lo indica il docente: Enderton, Herbert B. A mathematical introduction to logic. Second edition. Harcourt/Academic Press, Burlington, MA, 2001. xii+317 pp. ISBN: 0-12-238452-0

Titolo
A mathematical introduction to logic
Autori
Herbert B. <1936-2010> Herbert B. Enderton Enderton
Editore
Harcourt ; Academic press, 2001
ISBN
9780122384523

Chi lo adotta

Programma e testi di ogni canale

Logica Matematica – Prof. Martino Lupini Canale unico

Corso di laurea: Matematica · Laurea triennale (L-35) · esame facoltativo · 6 CFU

Bologna · Scienze · 6 CFU · apri nel catalogo · Matematica · 3º anno · 1º semestre ›

Altri libri sull'argomento (consultazione facoltativa)

Enderton – A mathematical introduction to logicquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Marker – Model theoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Enderton – Elements of set theoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Kunen – Kenneth Set theoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Enderton – Computability theoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Il corso si avvarra' di dispense preparate dal docente.

Argomenti del programma: Questo corso e' un'introduzione a nozioni e metodi della logica matematica. In particolare, il corso trattera' i seguenti argomenti: 1) Logica proposizionale Formule proposizonali e tavole di verita' Sistemi di dimostrazione Correttezza e completezza Compattezza 2) Logica del primo ordine e teoria dei modelli Strutture, formule, e modelli Definibilita' ed equivalenza elementare Sistemi di dimostrazione Correttezza e…

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a