Defaults as Restrictions on classical Hilbert-style proofs / Gianni, A., Carlucci, L., PIRRI ARDIZZONE, M.F.. - In: JOURNAL OF LOGIC, LANGUAGE, AND INFORMATION. - ISSN 0925-8531. - STAMPA. - 3:(1994), pp. 303-326. [10.1007/BF01160020]
Defaults as Restrictions on classical Hilbert-style proofs
CARLUCCI, Luigia;PIRRI ARDIZZONE, Maria Fiora
1994
File allegati a 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.


