𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Solvable cases of the decision problem: W. Achermann, North-Holland, 1968, 114 pp.

✍ Scribed by Gian-Carlo Rota


Book ID
102623879
Publisher
Elsevier Science
Year
1977
Tongue
English
Weight
66 KB
Volume
23
Category
Article
ISSN
0001-8708

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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