On computable numbers, with an application to the Entscheidungsproblem.
From MaRDI portal
Publication:2608913
DOI10.1112/plms/s2-42.1.230zbMath62.1059.03OpenAlexW2126160338WikidataQ25864184 ScholiaQ25864184MaRDI QIDQ2608913
Publication date: 1936
Published in: Proceedings of the London Mathematical Society. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/plms/s2-42.1.230