A note on the Entscheidungsproblem
- 12 March 1936
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 1 (1), 40-41
- https://doi.org/10.2307/2269326
Abstract
A note on the Entscheidungsproblem - Volume 1 Issue 1 - Alonzo ChurchKeywords
This publication has 3 references indexed in Scilit:
- Zum Entscheidungsproblem des logischen FunktionenkalkülsMonatshefte für Mathematik, 1933
- Die Vollständigkeit der Axiome des logischen FunktionenkalkülsMonatshefte für Mathematik, 1930
- Zur Hilbertschen BeweistheorieMathematische Zeitschrift, 1927