On uniformly constructive and semiconstructive formal systems / M. FERRARI; MIGLIOLI P; ORNAGHI M. - In: LOGIC JOURNAL OF THE IGPL. - ISSN 1367-0751. - 11(2003), pp. 1-49.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11383/8584
Autori: | |
Data di pubblicazione: | 2003 |
Titolo: | On uniformly constructive and semiconstructive formal systems |
Rivista: | LOGIC JOURNAL OF THE IGPL |
Codice identificativo ISI: | WOS:000182450900001 |
Appare nelle tipologie: | Articolo su Rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.