Troelstra – Basic proof theory

Libro adottato a Firenze, a.a. 2026/2027 · 2 canali

«Troelstra – Basic proof theory» è adottato per Calcolabilita' e Logica dal prof. Riccardo Bruni (Filologia Moderna – Firenze); per Temi Avanzati di Logica dal prof. Riccardo Bruni (Logica, Filosofia delle Scienze e Metodi della Ricerca – Firenze).

Troelstra – Basic proof theoryCerca su Amazon ›

Come lo indica il docente: A.S. Troelstra, H. Schwichtenberg, Basic proof theory, Cambridge

Titolo: Basic proof theory
Autori: Anne Sjerp A.S. Troelstra, H. Schwichtenberg Troelstra
Editore: Cambridge University, 2000
ISBN: 9780521779111

Chi lo adotta

Calcolabilita' e Logica – Prof. Riccardo Bruni (canale unico)Filologia Moderna · Laurea magistrale (LM-14) · esame facoltativo · Linguistica Storica, Teorica, e Applicata · 6 CFU
Temi Avanzati di Logica – Prof. Riccardo Bruni (canale unico)Logica, Filosofia delle Scienze e Metodi della Ricerca · Laurea magistrale (LM-78) · 1º anno · 1º semestre · 12 CFU

Programma e testi di ogni canale

Calcolabilita' e Logica – Prof. Riccardo Bruni Canale unico

Corso di laurea: Filologia Moderna · Laurea magistrale (LM-14) · esame facoltativo · Linguistica Storica, Teorica, e Applicata · 6 CFU

Firenze · Lettere e Filosofia · 6 CFU · apri nel catalogo · Filologia Moderna · 2º anno · 1º semestre ›

Il docente indica 3 testi · da studiare tutti

Parte I (Teoria strutturale della dimostrazione)

Troelstra – Basic proof theoryquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Negri – Structural proof theory Cerca su Amazon ›Da studiare: Parte II (Elementi di calcolabilità e teoremi limitativiVerificato sulla scheda ufficiale il 02/10/2026

Shoenfield – Mathematical Logic Cerca 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.

Temi Avanzati di Logica – 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 ›