Fiorino, G.G. (2009). Taming Implications in Dummett Logic. In Mathematical Theory and Computational Practice, CiE 2009, Abstract Booklet, Ambos-Spies, K.; Löwe, B.; Merkle, W. (eds.). Heidelberg : University of Heidelberg.
Citazione: | Fiorino, G.G. (2009). Taming Implications in Dummett Logic. In Mathematical Theory and Computational Practice, CiE 2009, Abstract Booklet, Ambos-Spies, K.; Löwe, B.; Merkle, W. (eds.). Heidelberg : University of Heidelberg. |
Tipo: | slide + paper |
Carattere della pubblicazione: | Scientifica |
Titolo: | Taming Implications in Dummett Logic |
Autori: | Fiorino, GG |
Autori: | |
Data di pubblicazione: | 2009 |
Lingua: | English |
Nome del convegno: | Computability in Europe |
Appare nelle tipologie: | 02 - Intervento a convegno |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
fiorino.pdf | N/A | Open Access Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.