Libri UniversitariApri il catalogo

George Boolos – The Logic of Provability

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

«George Boolos – The Logic of Provability» è adottato per Logica dal prof. Giorgio Venturi (Filosofia e Forme del Sapere – sede di Pisa – Pisa).

George Boolos – The Logic of ProvabilityCerca su Amazon ›

Come lo indica il docente: George Boolos, The Logic of Provability (1993)

Titolo
The logic of provability
Autori
George Boolos
Editore
Universiy Press, 1995
ISBN
9780521433426

Chi lo adotta

Programma e testi di ogni canale

Logica – Prof. Giorgio Venturi Canale unico

Corso di laurea: Filosofia e Forme del Sapere – sede di Pisa · Laurea magistrale (LM-78) · esame facoltativo · 12 CFU / 2º anno · 2º semestre · 12 CFU

Pisa · Dipartimento di Civilta' e Forme del Sapere · 12 CFU · apri nel catalogo · Filosofia e Forme del Sapere – sede di Pisa · 1º anno · 2º semestre ›

Patrick Blackburn – And Yde VenemaCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Cresswell – A New Introduction to Modal LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Brian – Modal LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Benthem – Modal Logic for Open MindsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
George Boolos – The Logic of Provabilityquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Sintassi modale, Semantica di Kripke, Tableaux modali, Completezza con modalli canonici, risultati di caratterizzabilità, K, T, B, S4, S5, GL, condizioni di derivabilità di Hilbert–Bernays–Löb, Teoremi di incompletezza di Godel, Terema del punto fisso, Teorema di Solovey. E tempo permettendo altre applicazioni della logica della provabilità.

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

Si studia insieme a