Loewenheim Skolem Theorem and Kripke semantics
Model theoretical methods in Kripke's semantics: Loewenheim-Skolem-Tarski type techniques / Minari, Pierluigi. - STAMPA. - Atti Congresso "Nuovi problemi della logica e della filosofia della scienza", Clueb, Bologna:(1991), pp. 305-312. (Intervento presentato al convegno S.I.L.F.S. tenutosi a Viareggio).
Model theoretical methods in Kripke's semantics: Loewenheim-Skolem-Tarski type techniques
MINARI, PIERLUIGI
1991
Abstract
Loewenheim Skolem Theorem and Kripke semantics
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.
