An improved proof procedure1
- 1 August 1960
- Vol. 26 (2), 102-139
- https://doi.org/10.1111/j.1755-2567.1960.tb00558.x
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- A Mechanical Proof Procedure and its Realization in an Electronic ComputerJournal of the ACM, 1960
- Intelligent Behavior in Problem-Solving MachinesIBM Journal of Research and Development, 1958
- The logic theory machine--A complex information processing systemIEEE Transactions on Information Theory, 1956
- Ein System des Verknüpfenden SchliessensArchive for Mathematical Logic, 1956
- A proof procedure for quantification theoryThe Journal of Symbolic Logic, 1955
- Simplest normal truth functionsThe Journal of Symbolic Logic, 1955
- On the Completeness of Quantification TheoryProceedings of the National Academy of Sciences of the United States of America, 1952
- The Problem of Simplifying Truth FunctionsThe American Mathematical Monthly, 1952
- The Problem of Simplifying Truth FunctionsThe American Mathematical Monthly, 1952
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935