Solvable Cases of the Decision Problem

✍ Scribed by W. Ackermann

• Book ID: 127404680
• Publisher: North Holland Publishing Co.
• Year: 1954
• Tongue: English
• Weight: 728 KB
• Series: Studies in Logic and the Foundations of Mathematics 15
• Edition: NH
• Category: Library
• ISSN: 0049-237X
• ASIN: B0026KHR62

✦ Synopsis

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 reduction theorems, are only mentioned as far as they are of relevance for the selection of special cases.