Mechanical Proof-Search and the Theory of Logical Deduction in the USSR
- 1 January 1983
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- On Sequential Modifications of Applied Predicate CalculiPublished by Springer Nature ,1969
- International Association for the History of ReligionsNumen, 1969
- ELEMENTARY THEORIESRussian Mathematical Surveys, 1965