References
W. Ackermann:Solvable Cases of the Decision Problem. Studies in Logic and the Foundations of Mathematics, North Holland Publishing Company, Amsterdam, 1954.
A. Ehrenfeucht, E. Orłowska:Mechanical Proof Procedure for Propositional Calculus. Bulletin de l'Academie Polonaise des Sciences, Serie des sciences math., astr. et phys. — Vol. XV, No. 1, 1967, p. 25–30.
H. Rasiowa, R. Sikorski:The Mathematics of Metamathematics, PWN, 1963.
Author information
Authors and Affiliations
Additional information
Allatum est die 29 Octobris 1968
Rights and permissions
About this article
Cite this article
Orłowska, E. Mechanical theorem proving in a certain class of formulae of the predicate calculus. Stud Logica 25, 17–27 (1969). https://doi.org/10.1007/BF02297265
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02297265