Logica dell'identità e delle descrizioni
| Contribuinte(s) |
Plazzi, Piero |
|---|---|
| Data(s) |
28/03/2014
|
| Resumo |
Lo scopo della tesi è studiare la logica dell'identità e delle descrizioni attraverso l'introduzione di metodi sempre più sofisticati che ci permettano di intraprendere attivamente questo studio, senza limitarci a recepire passivamente dei contenuti. L'approccio scelto è quello della deduzione naturale, in particolare il metodo delle derivazioni introdotto da Frederick Fitch. |
| Formato |
application/pdf |
| Identificador |
http://amslaurea.unibo.it/6914/1/Tesi.pdf Fiore, Daniele (2014) Logica dell'identità e delle descrizioni. [Laurea], Università di Bologna, Corso di Studio in Matematica [L-DM270] <http://amslaurea.unibo.it/view/cds/CDS8010/> |
| Relação |
http://amslaurea.unibo.it/6914/ |
| Direitos |
info:eu-repo/semantics/openAccess |
| Palavras-Chave | #Logica linguaggio identità descrizioni #scuola :: 843899 :: Scienze #cds :: 8010 :: Matematica [L-DM270] #sessione :: terza |
| Tipo |
PeerReviewed |
