Solvable Cases of the Decision Problem
β
W. Ackermann
π
Library
π
1954
π
North Holland Publishing Co.
π
English
β 728 KB
This book is intended to give a survey of the more important cases of the decision problem for the predicate calculus with equality of the first and second order which have so far been solved. It strictly restricts to this subject. Other investigations connected with the said problem, e.g. the reduc