Science, Math, Logic and Foundations, History, People
- Russell, Bertrand@
- Skolem, Thoralf
- Church, Alonzo
- Frege, Gottlob
- Aquinas, Thomas@
- Aristotle@
- Cantor, Georg
- Lukasiewicz, Jan
- Leibniz, Gottfried Wilhelm@
- Prior, Arthur Norman@
- Augustine of Hippo@
- Tarski, Alfred
|
- Tarski, Alfred
- Bernays, Paul
- Husserl, Edmund@
- Boole, George
- Quine, Willard van Orman@
- Wittgenstein, Ludwig@
- Post, Emil L.
- Turing, Alan Mathison
- Gödel, Kurt
- Hilbert, David
- Zermelo, Ernst
- Peirce, Charles Sanders
|
See Also:
- Brief biographies of the logicians whose names appear in Barwise and Etchemendy's textbook Language, Proof and Logic.
|
|
|
