Quaderno del Dipartimento di Matematica,
On the Haldén property and disjunction property of Heyting-Brouwer intermediate prepositional logics, / Luppi, Carla. - 297:(2002), pp. 1-10.
On the Haldén property and disjunction property of Heyting-Brouwer intermediate prepositional logics,
LUPPI, Carla
2002-01-01
Abstract
Quaderno del Dipartimento di Matematica,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.
