Contributions to the reduction theory of the decision problem
- 1 June 1950
- journal article
- Published by Springer Nature in Acta Mathematica Hungarica
- Vol. 1 (2) , 261-271
- https://doi.org/10.1007/bf02021316
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Ein Verfahren der mathematischen LogikThe Journal of Symbolic Logic, 1938
- On Computable Numbers, with an Application to the EntscheidungsproblemProceedings of the London Mathematical Society, 1937
- A note on the EntscheidungsproblemThe Journal of Symbolic Logic, 1936
- Zum Entscheidungsproblem des logischen FunktionenkalkülsMonatshefte für Mathematik, 1933
- Die Vollständigkeit der Axiome des logischen FunktionenkalkülsMonatshefte für Mathematik, 1930