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.