Logica modale della dimostrabilità
| Contribuinte(s) |
Corsi, Giovanna |
|---|---|
| Data(s) |
29/05/2012
|
| Formato |
application/pdf |
| Identificador |
http://amslaurea.unibo.it/3685/1/dainesi_carlotta_tesi.pdf Dainesi, Carlotta (2012) Logica modale della dimostrabilità. [Laurea magistrale], Università di Bologna, Corso di Studio in Matematica [LM-DM270] <http://amslaurea.unibo.it/view/cds/CDS8208/> |
| Relação |
http://amslaurea.unibo.it/3685/ |
| Direitos |
info:eu-repo/semantics/openAccess |
| Palavras-Chave | #Logica Modale, Logica della Dimostrabilità, Aritmetica di Peano, Teorema di Solovay. #scuola :: 843899 :: Scienze #cds :: 8208 :: Matematica [LM-DM270] #indirizzo :: 838 :: Curriculum B: Applicativo #sessione :: prima |
| Tipo |
PeerReviewed |
