Switch to: Citations

Add references

You must login to add references.
  1. On the Forms of Predicates in the Theory of Constructive Ordinals.S. C. Kleene - 1946 - Journal of Symbolic Logic 11 (4):127-127.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the Forms of Predicates in the Theory of Constructive Ordinals.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):410-411.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Hierarchies of Number-Theoretic Predicates.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):411-412.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • A Symmetric Form of Godel's Theorem.S. C. Kleene - 1951 - Journal of Symbolic Logic 16 (2):147-147.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Arithmetical Predicates and Function Quantifiers.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):409-410.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Descartes' unification of algebra and geometry.Emily R. Grosholz - 1980 - In Stephen Gaukroger (ed.), Descartes: philosophy, mathematics and physics. Totowa, N.J.: Barnes & Noble. pp. 156--68.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Modal model theory.C. C. Chang - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 599--617.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
    Download  
     
    Export citation  
     
    Bookmark   194 citations  
  • (1 other version)From a Logical Point of View.Willard Van Orman Quine - 1953 - Cambridge: Harvard University Press.
    Download  
     
    Export citation  
     
    Bookmark   857 citations  
  • Ontology and the vicious-circle principle.Charles S. Chihara - 1973 - Ithaca [N.Y.]: Cornell University Press.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • (2 other versions)Ontology and the Vicious-Circle Principle.Leslie H. Tharp - 1982 - Journal of Symbolic Logic 47 (1):223-225.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1986 - Journal of Symbolic Logic 51 (4):1076-1077.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
    Download  
     
    Export citation  
     
    Bookmark   595 citations  
  • Separation Principles in the Hierarchies of Classical and Effective Descriptive Set Theory.J. W. Addison - 1964 - Journal of Symbolic Logic 29 (1):60-62.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Applications of the Theory of Boolean Rings to General Topology.M. H. Stone - 1939 - Journal of Symbolic Logic 4 (2):88-89.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Descriptive Set Theory.Richard Mansfield - 1981 - Journal of Symbolic Logic 46 (4):874-876.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.
    Download  
     
    Export citation  
     
    Bookmark   479 citations  
  • An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
    Provability, Computability and Reflection.
    Download  
     
    Export citation  
     
    Bookmark   228 citations  
  • Ontology and the Vicious Circle Principle.Stanley C. Martens - 1976 - Philosophical Review 85 (2):256.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • From a Logical Point of View.Richard M. Martin - 1955 - Philosophy and Phenomenological Research 15 (4):574-575.
    Download  
     
    Export citation  
     
    Bookmark   566 citations  
  • The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
    Download  
     
    Export citation  
     
    Bookmark   134 citations  
  • Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.
    Download  
     
    Export citation  
     
    Bookmark   161 citations  
  • (2 other versions)The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • (2 other versions)An Algebraic Approach to Non-Classical Logics.Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • On Definable Sets of Positive Integers.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (2):112-113.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    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-7674574dd6-jhp86 uwo