Switch to: Citations

Add references

You must login to add references.
  1. Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
    Download  
     
    Export citation  
     
    Bookmark   220 citations  
  • The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.
    Download  
     
    Export citation  
     
    Bookmark   533 citations  
  • Mathematical Logic.Morton G. White & Willard Van Orman Quine - 1942 - Philosophical Review 51 (1):74.
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • Conceptual structure of classical logic.John Corcoran - 1972 - Philosophy and Phenomenological Research 33 (1):25-47.
    One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • Syntactic Structures.J. F. Staal - 1966 - Journal of Symbolic Logic 31 (2):245-251.
    Download  
     
    Export citation  
     
    Bookmark   449 citations  
  • ssays on the Theory of Numbers. [REVIEW]R. Dedekind - 1903 - Ancient Philosophy (Misc) 13:314.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
    Download  
     
    Export citation  
     
    Bookmark   169 citations  
  • Truth and Denotation.R. M. Martin - 1958 - Les Etudes Philosophiques 13 (4):557-557.
    Download  
     
    Export citation  
     
    Bookmark   15 citations