zbMath0655.03027MaRDI QIDQ3801538
Stephen C. Kleene
Publication date: 1988
zbMATH Keywords
algorithms; Turing machines; computability; Church's Thesis; Gödel results
Mathematics Subject Classification ID
03-03: History of mathematical logic and foundations
03D10: Turing machines and related notions
Related Items