Defaults as Restrictions on classical Hilbert-style proofs / Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora. - 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.