by George S. Boolos
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Computable functions · Logic, Symbolic and mathematical
Computability and logic
1974
Algorithms · Computable functions
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
1961
Macroeconomics · Recursive functions
Recursive macroeconomic theory
2000
Computable functions · Recursive functions
Computability & unsolvability
1958
Logic, Symbolic and mathematical · Functions
The calculi of lambda-conversion
1941
Probabilities · Recursive functions
Die iterationen
1917
Theory of recursive functions and effective computability
1957
Metamatemática · Funciones recursivas
Theory of Formal Systems
Dynamics · Recursive functions
Robot dynamics algorithms
1984
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
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
