Existential instantiation and normalization in sequent natural deduction / Cellucci, Carlo. - In: ANNALS OF PURE AND APPLIED LOGIC. - ISSN 0168-0072. - STAMPA. - 58:(1992), pp. 111-148.
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.