Libri UniversitariApri il catalogo

Temi Avanzati di Logica – Firenze

Università degli Studi di Firenze · Lettere e Filosofia · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Riccardo Bruni Canale unico

Corso di laurea: Logica, Filosofia delle Scienze e Metodi della Ricerca · Laurea magistrale (LM-78) · 1º anno · 1º semestre · 12 CFU

Firenze · Lettere e Filosofia · 12 CFU · apri nel catalogo · Logica, Filosofia delle Scienze e Metodi della Ricerca · 1º anno · 1º semestre ›

Parte I (Teoria strutturale della dimostrazione)

Troelstra – Basic proof theoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Negri – Structural proof theoryCerca su Amazon ›Da studiare: Parte II (Elementi di calcolabilità e teoremi limitativiVerificato sulla scheda ufficiale il 02/10/2026
Shoenfield – Mathematical LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Dispense del docente (scaricabili online dalla pagina Moodle del corso).

Argomenti del programma: Parte I: Teoria strutturale della dimostrazione. Parte II: Calcolabilità e teoremi limitativi.

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