by Alan Mathison Turing
1912 – 1954
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Analysis (Philosophy) · Language
Tractatus logico-philosophicus
1921
Symbolic and mathematical Logic · Thought and thinking
An Investigation of the Laws of Thought (Barnes & Noble)
1854
Algebraic logic · Symbolic and mathematical Logic
Algèbre de la logique
1905
Symbolic and mathematical Logic · Logic
The Game of Logic
1886
Gödel's theorem · Mathematics
Gödel's proof
1958
German Philosophy · Langage et langues
Philosophische Untersuchungen
1953
Symbolic and mathematical Logic · Textbooks
Mathematics and plausible reasoning
1954
Logics · Teoria Do Conhecimento
Gödel, Escher, Bach
1979
Reasoning · Logic, Symbolic and mathematical
Regulae ad directionem ingenii
1899
Mathematics · Computer science
Discrete Mathematics and Its Applications
1988
Mathematics · Philosophy
Principia mathematica
1910
Logic, Symbolic and mathematical · Symbolic and mathematical Logic
Mathematical logic
1940
Symbolic Logic
1894
Language and languages · Notebooks, sketchbooks
Notebooks, 1914-1916
1961
