Switch to: Citations

Add references

You must login to add references.
  1. From a Logical Point of View.Richard M. Martin - 1955 - Philosophy and Phenomenological Research 15 (4):574-575.
    Download  
     
    Export citation  
     
    Bookmark   570 citations  
  • Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
    Download  
     
    Export citation  
     
    Bookmark   599 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  
  • (2 other versions)Descriptive Set Theory.Richard Mansfield - 1981 - Journal of Symbolic Logic 46 (4):874-876.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Arithmetical Predicates and Function Quantifiers.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):409-410.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • From a Logical Point of View.Willard Van Orman Quine - 1953 - Cambridge: Harvard University Press.
    Several of these essays have been printed whole in journals; others are in varying degrees new. Two main themes run through them. One is the problem of meaning, particularly as involved in the notion of an analytic statement. The other is the notion of ontological, commitment, particularly as involved in the problem of universals.
    Download  
     
    Export citation  
     
    Bookmark   863 citations  
  • An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
    Provability, Computability and Reflection.
    Download  
     
    Export citation  
     
    Bookmark   229 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  
  • 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  
  • Hierarchies of Number-Theoretic Predicates.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):411-412.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
    Download  
     
    Export citation  
     
    Bookmark   194 citations  
  • Ontology and the vicious-circle principle.Charles S. Chihara - 1973 - Ithaca [N.Y.]: Cornell University Press.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • (1 other version)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  
  • 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 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  
  • (1 other version)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  
  • Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.
    Download  
     
    Export citation  
     
    Bookmark   480 citations  
  • (1 other version)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  
  • (3 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  
  • (2 other versions)The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.
    Download  
     
    Export citation  
     
    Bookmark   96 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  
  • (1 other version)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 Definable Sets of Positive Integers.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (2):112-113.
    Download  
     
    Export citation  
     
    Bookmark   5 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  
  • Ontology and the Vicious Circle Principle.Stanley C. Martens - 1976 - Philosophical Review 85 (2):256.
    Download  
     
    Export citation  
     
    Bookmark   28 citations