Copeland, B. Jack, ed. 2004. The Essential Turing: Seminal Writings
in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial
Life: Plus the Secrets of Enigma. Oxford University Press.
Davies, D. W. 1950. “A Theory of Chess and Noughts and
Crosses.” Science News 16: 40–64.
Gödel, Kurt. 1986. Kurt Gödel: Collected Works: Volume
i: Publications 1929-1936. Vol. 1. Oxford University Press, USA.
Hoyningen-Huene, Paul. 1987. “Context of Discovery and Context of
Justification.” Studies in History and Philosophy of Science
Part A 18 (4): 501–15. https://doi.org/https://doi.org/10.1016/0039-3681(87)90005-7.
Lampert, Timm. 2004. Klassische Logik: Einführung mit interaktiven
Übungen. Berlin: De Gruyter. https://doi.org/10.1515/9783110324167.
Neumann, J. von. 1963. “The General and Logical Theory of
Automata.” In Collected Works, edited by A. H. Taub,
5:288–89. Oxford: Pergamon Press.
Newborn, M. 1997. Kasparov Versus Deep Blue: Computer Chess Comes of
Age. New York: Springer.
Samuel, A. L. 1959. “Some Studies in Machine Learning Using the
Game of Checkers.” IBM Journal of Research and
Development 3: 211–29.
Shannon, C. E. 1950a. “A Chess-Playing Machine.”
Scientific American 182: 48–51.
———. 1950b. “Programming a Computer for Playing Chess.”
Philosophical Magazine 41: 256–75.