Prädikatenlogik mit partiell definierten Funktionen II
- 1 March 1974
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 16 (1) , 15-22
- https://doi.org/10.1007/bf02025115
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Prädikatenlogik mit partiell definierten FunktionenArchive for Mathematical Logic, 1971
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und FunktionenArchive for Mathematical Logic, 1969
- Aufzählbarkeit, Entscheidbarkeit, BerechenbarkeitPublished by Springer Nature ,1961
- Die Widerspruchsfreiheit der reinen ZahlentheorieMathematische Annalen, 1936
- Die Vollständigkeit der Axiome des logischen FunktionenkalkülsMonatshefte für Mathematik, 1930