Undecidability and recursive inseparability
- 1 January 1958
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 4 (7-11) , 143-147
- https://doi.org/10.1002/malq.19580040705
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Languages in which self reference is possibleThe Journal of Symbolic Logic, 1957
- Myhill John. Creative sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 97–108.The Journal of Symbolic Logic, 1957
- Decidability and essential undecidabilityThe Journal of Symbolic Logic, 1957