Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/modelltheoretische-untersuchungen-in-der-kripke-semantik-lnf0nGKWKL
References (12)
-
P. Aczel (1968)
Saturated Intuitionistic TheoriesStudies in logic and the foundations of mathematics, 50
-
H. Hermes (1963)
Einführung in die mathematische Logik -
G. Kreisel, J. Krivine (1967)
Éléments de logique mathématique : théorie des modèles -
S. A. Kripke (1965)
Formal Systems and Recursive Functions -
R. Lyndon (1959)
PROPERTIES PRESERVED UNDER HOMOMORPHISMPacific Journal of Mathematics, 9
-
P. H. G. Aczel (1968)
Contributions to the Mathematical Logic -
K. Schütte (1968)
Vollständige Systeme modaler und intuitionistischer Logik -
K. Schutte (1965)
Hermes Hans. Einführung in die mathematische Logik. Klassische Prädikatenlogik . B. G. Teubner Verlagsgesellschaft, Stuttgart 1963, 187 S.Journal of Symbolic Logic, 30
-
S. Kleene, M. Beeson (1952)
Introduction to Metamathematics -
A. Heyting (1956)
Intuitionism -
T. Frayne, A. Morel, D. Scott (1962)
Reduced Direct ProductsFundamenta Mathematicae, 51
-
Saul Kripke (1965)
Semantical Analysis of Intuitionistic Logic IStudies in logic and the foundations of mathematics, 40
- Publisher
- Springer Journals
- Copyright
- Copyright © 1970 by Verlag W. Kohlhammer
- Subject
- Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
- ISSN
- 0933-5846
- eISSN
- 1432-0665
- DOI
- 10.1007/BF01967647
- Publisher site
- See Article on Publisher Site
Abstract
Journal
Archive for Mathematical Logic – Springer Journals
Published: Jul 5, 2005