...
The incompleteness of the quantificational logic of intuitionistic Zermelo-Fraenkel set theory / Minari, Pierluigi. - STAMPA. - Atti del Congresso "Temi e prospettive della logica e della filosofia della scienza contemporanee". Clueb, Bologna:(1988), pp. 207-210. (Intervento presentato al convegno S.I.L.F.S. tenutosi a Cesena nel 1987).
The incompleteness of the quantificational logic of intuitionistic Zermelo-Fraenkel set theory
MINARI, PIERLUIGI
1988
Abstract
...
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
