Decidability of a portion of the predicate calculus
- 1 March 1977
- journal article
- research article
- Published by Springer Nature in Israel Journal of Mathematics
- Vol. 28 (1-2) , 32-44
- https://doi.org/10.1007/bf02759780
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- The decision problem for standard classesThe Journal of Symbolic Logic, 1976