The logic of provability / George Boolos

• Autore: Boolos, George
• Pubblicazione: Cambridge, : Cambridge university, 1995
• Descrizione fisica: XXXVI, 275 p. : ill. ; 24 cm.
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03F30 - First-order arithmetic and fragments [MSC 2020]; 03F40 - Gödel numberings and issues of incompleteness [MSC 2020]; 03B45 - Modal logic (including the logic of norms) [MSC 2020]
• Titolo autorizzato: Logic of provability
• ISBN: 978-05-214-8325-4
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: SUN0053086
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://books.google.it/books?id=WekaT3OLoUcC&pg=PR3&dq=The+Logic+of+Provability&hl=it&source=gbs_selected_pages&cad=2#v=onepage&q&f=false