Proving Theorems by Pattern Recognition, II
- 1 January 1961
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Toward Mechanical MathematicsIBM Journal of Research and Development, 1960
- Vicious circle principle and the paradoxesThe Journal of Symbolic Logic, 1957
- Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten StufeMathematical Logic Quarterly, 1955
- On the Completeness of Quantification TheoryProceedings of the National Academy of Sciences, 1952
- Beiträge zum Entscheidungsproblem der mathematischen LogikMathematische Annalen, 1936
- Untersuchungen zum Entscheidungsproblem der mathematischen LogikMathematische Annalen, 1934