Books · Search
Symbolic and mathematical Logic · Logic, symbolic and mathematical
Kurt Gödel
2010
Logic, symbolic and mathematical
Kurt Gödel - Collected Works
2013
Number theory
The number systems
1964
Symbolic and mathematical Logic · Philosophy
Reflections on the foundations of mathematics
2002
Mathematicians, biography · Logic, symbolic and mathematical
Alfred Tarski
2008
Mathematics, philosophy · Philosophy, american
Kurt Godel : Collected Works
2014
In the Light of Logic
1998
Goedel, kurt, 1906-1978
Kurt Godel
2005
Symbolic and mathematical Logic · Logicians
ALFRED TARSKI: LIFE AND LOGIC
2004
Model theory
Model-theoretic logics
1985
One Hundred Years of Russell´s Paradox
Kurt Godel Collected Works, 1929-1936
1986
Logic, Symbolic and mathematical · Symbolic and mathematical Logic
In the light of logic
Goedel, kurt, 1906-1978 · Logic, symbolic and mathematical