Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen
- 1 December 1978
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 19 (1) , 97-109
- https://doi.org/10.1007/bf02011871
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Semi-conservative reductionArchive for Mathematical Logic, 1977
- Undecidable properties of finite sets of equationsThe Journal of Symbolic Logic, 1976
- The decision problem for standard classesThe Journal of Symbolic Logic, 1976
- Aufzählbarkeit, Entscheidbarkeit, BerechenbarkeitPublished by Springer Nature ,1971
- Finite models for inequationsThe Journal of Symbolic Logic, 1966