- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by F. R. Drake
28 found
Order:
- Set Theory: An Introduction to Large Cardinals.F. R. Drake & T. J. Jech - 1976 - British Journal for the Philosophy of Science 27 (2):187-191.
- Intuitionistic Logic Model Theory and Forcing.F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.
- On McKinsey's syntatical characterizations of systems of modal logic.F. R. Drake - 1962 - Journal of Symbolic Logic 27 (4):400-406.
- Axiomatic Set Theory. Impredicative Theories of Classes.F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
- A. Lévy and R. M. Solovay. Measurable cardinals and the continuum hypothesis. Israel journal of mathematics, vol. 5 (1967), pp. 234–248. [REVIEW]F. R. Drake - 1970 - Journal of Symbolic Logic 34 (4):654-655.
- Fitting Melvin Chris. Intuitionistic logic model theory and forcing. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1969, 191 pp. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.
- index of names.J. Czelakowski, M. L. Dalla Chiara, M. Davis, M. G. de Bruijn, G. P. Dirichlet, A. C. Doyle, G. Dorn, F. R. Drake & W. Drabent - 1994 - In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 363.No categoriesExport citation
Bookmark - Logic Colloquium '86.F. R. Drake & J. K. Truss - 1988
- Recursion theory: its generalisations and applications: proceedings of Logic Colloquium '79, Leeds, August 1979.F. R. Drake & S. S. Wainer (eds.) - 1980 - New York: Cambridge University Press.Export citation Bookmark
- G. Takeuti and W. M. Zaring. Introduction to axiomatic set theory. Springer-Verlag, New York, Heidelberg, and Berlin, 1971, VII + 250 pp. [REVIEW]F. R. Drake - 1973 - Journal of Symbolic Logic 38 (3):530.
- Meeting of the association for symbolic logic Leeds 1967.M. H. Löb, F. R. Drake & J. Derrick - 1968 - Journal of Symbolic Logic 33 (3):490.
- Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 127–151. [REVIEW]F. R. Drake - 1970 - Journal of Symbolic Logic 34 (4):653-654.
- Kazuyuki Tanaka. The Galvin–Prikry theorem and set existence axioms. Annals of pure and applied logic, vol. 42 , pp. 81–104. [REVIEW]F. R. Drake - 1991 - Journal of Symbolic Logic 56 (1):334.
- On McKinsey's Syntactical Characterizations of Systems of Modal Logic.F. R. Drake - 1971 - Journal of Symbolic Logic 36 (4):691-692.
- Reviews. [REVIEW]F. R. Drake & Trond Berg Eriksen - 1972 - Synthese 23 (4):491-496.No categories
- European summer meeting of the association for symbolic logic: Leeds, 1979.F. R. Drake & S. S. Wainer - 1981 - Journal of Symbolic Logic 46 (2):435-446.
- Chuaqui Rolando Basim. Axiomatic set theory, Impredicative theories of classes. North-Holland mathematics studies, no.. 51, Notas de matematica, no. 78. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xv + 388 pp. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
- Meeting of the Association for Symbolic Logic.M. H. Löb, F. R. Drake & J. Derrick - 1968 - Journal of Symbolic Logic 33 (3):490-496.
- Review: Rolando Basim Chuaqui, Axiomatic Set Theory. Impredicative Theories of Classes. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
- Rieger L.. On the consistency of the generalized continuum hypothesis. Rozprawy matematyczne no. 31. Państwowe Wydawnictwo Naukowe, Warsaw 1963, 45 pp. [REVIEW]F. R. Drake - 1973 - Journal of Symbolic Logic 38 (1):153-153.
- Review: L. Rieger, On the Consistency of the Generalized Continuum Hypothesis. [REVIEW]F. R. Drake - 1973 - Journal of Symbolic Logic 38 (1):153-153.
- Logic Colloquium '86.F. R. Drake & J. K. Truss - 1989 - Studia Logica 48 (3):396-400.
- Review: Andrzej Mostowski, On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (3):542-542.
- Mostowski Andrzej. On models of Zermelo-Fraenkel set theory satisfying the axiom of constructibility. Studia logico-mathematica et philosophica, in honorem Rolf Nevanlinna die natali eius septuagesimo 22.X.1965, Acta philosophica Fennica, no. 18 , pp. 135–144. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (3):542-542.
- Review: Azriel Levy, Yehoshua Bar-Hillel, Definability in Axiomatic Set Theory I. [REVIEW]F. R. Drake - 1969 - Journal of Symbolic Logic 34 (4):653-654.
- Review: A. Levy, R. M. Solovay, Measurable Cardinals and the Continuum Hypothesis. [REVIEW]F. R. Drake - 1969 - Journal of Symbolic Logic 34 (4):654-655.
- Review: Kazuyuki Tanaka, The Galvin-Prikry Theorem and Set Existence Axioms. [REVIEW]F. R. Drake - 1991 - Journal of Symbolic Logic 56 (1):334-334.
- Review: Melvin Chris Fitting, Intuitionistic Logic Model Theory and Forcing. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-665bdd4886-tjtfb N