An Improved Proof Procedure

This publication has 8 references indexed in Scilit:

• A Mechanical Proof Procedure and its Realization in an Electronic Computer
  Journal of the ACM, 1960
• The logic theory machine--A complex information processing system
  IEEE Transactions on Information Theory, 1956
• Ein System des Verknüpfenden Schliessens
  Archive for Mathematical Logic, 1956
• A proof procedure for quantification theory
  The Journal of Symbolic Logic, 1955
• Simplest normal truth functions
  The Journal of Symbolic Logic, 1955
• On the Completeness of Quantification Theory
  Proceedings of the National Academy of Sciences, 1952
• The Problem of Simplifying Truth Functions
  The American Mathematical Monthly, 1952
• Untersuchungen ber das logische Schlie en. I
  Mathematische Zeitschrift, 1935