Contributions to the reduction theory of the decision problem
- 1 September 1951
- journal article
- research article
- Published by Springer Nature in Acta Mathematica Hungarica
- Vol. 2 (3-4) , 125-142
- https://doi.org/10.1007/bf02020722
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Der AussagenkalkülPublished by Springer Nature ,1949
- General recursive functions of natural numbersMathematische Annalen, 1936
- Extensions of some theorems of Gödel and ChurchThe Journal of Symbolic Logic, 1936
- A note on the EntscheidungsproblemThe Journal of Symbolic Logic, 1936
- Untersuchungen über den Funktionenkalkül für endliche IndividuenbereicheMathematische Annalen, 1933
- Die Vollständigkeit der Axiome des logischen FunktionenkalkülsMonatshefte für Mathematik, 1930
- Sur les correspondances multivoques des ensemblesFundamenta Mathematicae, 1926
- Über Möglichkeiten im RelativkalkülMathematische Annalen, 1915