Ein Neuer Beweis für die Entscheidbarkeit des Einstelligen Prädikatenkalküls mit Identität
- 1 May 1965
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 7 (3) , 128-138
- https://doi.org/10.1007/bf01969438
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: