- The Universal Computer. The Road from Leibniz to Turing.Martin Davis - 2001 - Bulletin of Symbolic Logic 7 (1):65-66.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Principia Mathematica.Alfred North Whitehead & Bertrand Russell - 1950 - Cambridge,: Franklin Classics. Edited by Bertrand Russell.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details
|
|
The Theory of Algorithms.A. A. Markov - 1953 - Journal of Symbolic Logic 18 (4):340-341.details
|
|
Reducibility Among Combinatorial Problems.Richard M. Karp, Raymond E. Miller & James W. Thatcher - 1975 - Journal of Symbolic Logic 40 (4):618-619.details
|
|
Descriptive Complexity.Neil Immerman - 1998 - Springer Verlag.details
|
|
Godel, Escher, Bach: An Eternal Golden Braid.Douglas Richard Hofstadter - 1979 - Hassocks, England: Basic Books.details
|
|
Alan Turing: the Enigma.Andrew Hodges - 1985 - Journal of Symbolic Logic 50 (4):1065-1067.details
|
|
Computers and Intractability. A Guide to the Theory of NP-Completeness.Michael R. Garey & David S. Johnson - 1983 - Journal of Symbolic Logic 48 (2):498-500.details
|
|
The Intrinsic Computational Difficulty of Functions.Alan Cobham - 1965 - In Yehoshua Bar-Hillel (ed.), Logic, Methodology and Philosophy of Science: Proceedings of the 1964 International Congress (Studies in Logic and the Foundations of Mathematics). North-Holland Publishing. pp. 24-30.details
|
|
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details
|
|
A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.details
|
|
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.Jean van Heijenoort (ed.) - 1967 - Cambridge, MA, USA: Harvard University Press.details
|
|
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.details
|
|
A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.details
|
|
The Classical Decision Problem.Egon Börger, Erich Grädel & Yuri Gurevich - 2000 - Studia Logica 64 (1):140-143.details
|
|