Some theorems on definability and decidability
- 1 September 1952
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 17 (3), 179-187
- https://doi.org/10.2307/2267689
Abstract
Some theorems on definability and decidability - Volume 17 Issue 3 - Alonzo Church, W. V. QuineKeywords
This publication has 7 references indexed in Scilit:
- Form and Content in LogicPublished by Taylor & Francis ,2017
- Olaf Helmer. Perelman versus Gödel. Mind, vol. 46 (1937), pp. 58–60.The Journal of Symbolic Logic, 1937
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931
- Die Vollständigkeit der Axiome des logischen FunktionenkalkülsMonatshefte für Mathematik, 1930
- Zum Entscheidungsproblem der mathematischen LogikMathematische Annalen, 1928
- Beiträge zur Algebra der Logik, insbesondere zum EntscheidungsproblemMathematische Annalen, 1922
- Über Möglichkeiten im RelativkalkülMathematische Annalen, 1915