28 found
Order:
  1. 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.
     
    Export citation  
     
    Bookmark   56 citations  
  2.  4
    Intuitionistic Logic Model Theory and Forcing.F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.
    Direct download  
     
    Export citation  
     
    Bookmark   32 citations  
  3.  22
    On McKinsey's Syntatical Characterizations of Systems of Modal Logic.F. R. Drake - 1962 - Journal of Symbolic Logic 27 (4):400-406.
  4.  2
    Axiomatic Set Theory. Impredicative Theories of Classes.F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  25
    A. Lévy and R. M. Solovay. Measurable Cardinals and the Continuum Hypothesis. Israel Journal of Mathematics, Vol. 5 , Pp. 234–248. [REVIEW]F. R. Drake - 1969 - Journal of Symbolic Logic 34 (4):654-655.
  6.  24
    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.
  7. 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 categories
     
    Export citation  
     
    Bookmark  
  8. Logic Colloquium '86.F. R. Drake & J. K. Truss - 1988
     
    Export citation  
     
    Bookmark  
  9.  5
    On McKinsey's Syntactical Characterizations of Systems of Modal Logic.F. R. Drake - 1971 - Journal of Symbolic Logic 36 (4):691-692.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  14
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  11
    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, Amsterdam1965, Pp. 127–151. [REVIEW]F. R. Drake - 1969 - Journal of Symbolic Logic 34 (4):653-654.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  28
    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.
  13.  11
    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.
  14.  24
    Reviews. [REVIEW]F. R. Drake & Trond Berg Eriksen - 1972 - Synthese 23 (4):491-496.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  15
    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.
  16.  10
    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.
  17. Logic Colloquium '86.F. R. Drake & J. K. Truss - 1989 - Studia Logica 48 (3):396-400.
     
    Export citation  
     
    Bookmark   1 citation  
  18.  8
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  9
    Review: Rolando Basim Chuaqui, Axiomatic Set Theory. Impredicative Theories of Classes. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
  20.  24
    Intermediate Set Theory.F. R. Drake & D. Singh - 1999 - Studia Logica 63 (3):417-418.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  8
    Review: L. Rieger, On the Consistency of the Generalized Continuum Hypothesis. [REVIEW]F. R. Drake - 1973 - Journal of Symbolic Logic 38 (1):153-153.
  22.  6
    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.
  23.  7
    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.
  24.  4
    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.
  25.  4
    Review: Kazuyuki Tanaka, The Galvin-Prikry Theorem and Set Existence Axioms. [REVIEW]F. R. Drake - 1991 - Journal of Symbolic Logic 56 (1):334-334.
  26.  4
    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.
  27.  3
    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.
  28.  3
    Review: Melvin Chris Fitting, Intuitionistic Logic Model Theory and Forcing. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.