Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Soare, Robert I.
1996.
Computability and Recursion.
Bulletin of Symbolic Logic,
Vol. 2,
Issue. 3,
p.
284.
Sieg, Wilfried
1997.
Step by Recursive Step: Church's Analysis of Effective Calculability.
Bulletin of Symbolic Logic,
Vol. 3,
Issue. 2,
p.
154.
Hodges, Andrew
2004.
Alan Turing: Life and Legacy of a Great Thinker.
p.
43.
Hodges, Andrew
2006.
A Companion to Philosophical Logic.
p.
665.
Soare, Robert I.
2009.
Turing oracle machines, online computing, and three displacements in computability theory.
Annals of Pure and Applied Logic,
Vol. 160,
Issue. 3,
p.
368.
Sieg, Wilfried
2009.
Philosophy of Mathematics.
p.
535.
Soare, Robert Irving
2014.
Turing's Legacy.
p.
467.
Sieg, Wilfried
Szabó, Máté
and
McLaughlin, Dawn
2016.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Vol. 10,
Issue. ,
p.
175.