๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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

No coin nor oath required. For personal study only.

โœฆ 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.


๐Ÿ“œ SIMILAR VOLUMES