Switch to: Citations

References in:

An improved proof procedure

Theoria 26 (2):102-139 (1960)

Add references

You must login to add references.
  1. A proof procedure for quantification theory.W. V. Quine - 1955 - Journal of Symbolic Logic 20 (2):141-149.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)Simplest normal truth functions.Raymond J. Nelson - 1955 - Journal of Symbolic Logic 20 (2):105-108.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)The Logic Theory Machine. A Complex Information Processing System.Allen Newell & Herbert A. Simon - 1957 - Journal of Symbolic Logic 22 (3):331-332.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • (1 other version)The Logic Theory Machine -- A Complex Information Processing System.Allen Newell & Herbert A. Simon - 1956 - IRE Transactions on Information Theory 2 (3):61--79.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Semantic Entailment and Formal Derivability. [REVIEW]E. W. Beth - 1959 - Sapientia 14 (54):311.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Solvable cases of the decision problem.Wilhelm Ackermann - 1954 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • A Mechanical Proof Procedure and its Realization in an Electronic Computer.Dag Prawitz & Neri Voghera - 1966 - Journal of Symbolic Logic 31 (1):126-126.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (2 other versions)The Problem of Simplifying Truth Functions. [REVIEW]Raymond J. Nelson - 1953 - Journal of Symbolic Logic 18 (3):280-282.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Provability in logic.Stig Kanger - 1957 - Stockholm,: Almqvist & Wiksell.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • (1 other version)Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archiv für Philosophie 5 (4):375.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Two Papers on Symbolic Logic.K. Jaako & J. Hintikka - 1958 - Philosophy and Phenomenological Research 19 (1):125-125.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
    Download  
     
    Export citation  
     
    Bookmark   186 citations  
  • Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Download  
     
    Export citation  
     
    Bookmark   227 citations  
  • (1 other version)Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archive for Mathematical Logic 2 (2-4):55.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Grundlagen der Mathematik. Band I. [REVIEW]Rudolf Carnap - 1939 - Journal of Unified Science (Erkenntnis) 8 (1):184-187.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • On the Completeness of Quantification Theory.Burton Dreben - 1953 - Journal of Symbolic Logic 18 (4):339-339.
    Download  
     
    Export citation  
     
    Bookmark   2 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-6f97f49787-zrclg uwo