Logica modale della dimostrabilità

Dainesi, Carlotta (2012) Logica modale della dimostrabilità. [Laurea magistrale], Università di Bologna, Corso di Studio in Matematica [LM-DM270]
Documenti full-text disponibili:
[thumbnail of dainesi_carlotta_tesi.pdf]
Anteprima
 Documento PDF
Download (262kB) | Anteprima
Tipologia del documento
Tesi di laurea (Laurea magistrale)
Autore della tesi
Dainesi, Carlotta
Relatore della tesi
Corsi, Giovanna
Scuola
Scienze
Corso di studio
Matematica [LM-DM270]
Indirizzo
Curriculum B: Applicativo
Ordinamento Cds
DM270
Parole chiave
Logica Modale, Logica della Dimostrabilità, Aritmetica di Peano, Teorema di Solovay.
Data di discussione della Tesi
29 Maggio 2012
URI
https://amslaurea.unibo.it/id/eprint/3685

Altri metadati

Statistica sui download

Vedi altre statistiche

Gestione del documento: Visualizza il documento

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^