- Turing A. M.. On computable numbers, with an application to the Entscheidungs problcm. Proceedings of the London Mathematical Society, 2 s. vol. 42 , pp. 230–265. [REVIEW]Alonzo Church - 1937 - Journal of Symbolic Logic 2 (1):42-43.details
|
|
Is Mathematics Syntax of Language?Kurt Gödel - 1953 - In K. Gödel Collected Works. Oxford University Press: Oxford. pp. 334--355.details
|
|
A Logical Journey: From Gödel to Philosophy.Hao Wang - 1996 - Bradford.details
|
|
Linear logic: its syntax and semantics.Jean-Yves Girard - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in linear logic. New York, NY, USA: Cambridge University Press. pp. 222--1.details
|
|
Some Remarks on the Undecidability Results.Kurt Gödel - 1990 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 305--306.details
|
|
Godel on computability.W. Sieg - 2006 - Philosophia Mathematica 14 (2):189-207.details
|
|
Gödel on Concepts.Gabriella Crocco - 2006 - History and Philosophy of Logic 27 (2):171-191.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
(5 other versions)Grundzüge der theoretischen logik.David Hilbert - 1938 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
Collected works.Kurt Gödel - 1986 - New York: Oxford University Press. Edited by Solomon Feferman.details
|
|
A Logical Journey. From Gödel to Philosophy.Hao Wang - 1998 - Philosophy 73 (285):495-504.details
|
|
The Two-Sidedness and the Rationalistic Ideal of Formal Logic: Husserl and Gödel.Pierre Cassou-Noguès - 2007 - In Luciano Boi, Pierre Kerszberg & Frédéric Patras (eds.), Rediscovering Phenomenology. Phenomenological Essays on Mathematical Beings, Physical Reality, Perception and Consciousness. Hal Ccsd. pp. 309-338.details
|
|
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.details
|
|