Beiträge zum Entscheidungsproblem der mathematischen Logik
- 1 December 1936
- journal article
- Published by Springer Nature in Mathematische Annalen
- Vol. 112 (1), 419-432
- https://doi.org/10.1007/bf01565424
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Untersuchungen zum Entscheidungsproblem der mathematischen LogikMathematische Annalen, 1934
- Zum Entscheidungsproblem des logischen FunktionenkalkülsMonatshefte für Mathematik, 1933
- Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthaltenMathematische Annalen, 1933
- Zum Entscheidungsproblem der mathematischen LogikMathematische Annalen, 1928