Quaderno del Dipartimento di Matematica,
Interpolation and definability in some modal Heyting Brouwer logics / Luppi, Carla. - n.337:(2003), pp. 1-14.
Interpolation and definability in some modal Heyting Brouwer logics
LUPPI, Carla
2003-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.
