A Note on the Theorems of Church‐Turing and Trachtenbrot
From MaRDI portal
Publication:4304099
DOI10.1002/malq.19940400311zbMath0806.03006MaRDI QIDQ4304099
Publication date: 16 February 1995
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19940400311
semi-monomorphic axiomatization; theorem of Church-Turing; theorem of Trachtenbrot; undecidability of satisfiability
Related Items