- Aquinas, Thomas (41)
- Aristotle (59)
- Augustine of Hippo (149)
- Bernays, Paul (2)
- Boole, George (5)
- Cantor, Georg (4)
- Church, Alonzo (4)
- Frege, Gottlob (13)
- Gödel, Kurt (13)
- Hilbert, David (6)
- Husserl, Edmund (18)
- Leibniz, Gottfried Wilhelm (54)
- Lukasiewicz, Jan (7)
- McCarthy, John (5)
- Peirce, Charles Sanders (11)
- Post, Emil L. (5)
- Prior, Arthur Norman (2)
- Quine, Willard van Orman (11)
- Russell, Bertrand (24)
- Skolem, Thoralf (2)
- Tarski, Alfred (4)
- Turing, Alan Mathison (15)
- Wittgenstein, Ludwig (48)
- Zermelo, Ernst (2)
- Who are Boole, Fitch, and Tarski? - Brief biographies of the logicians whose names appear in Barwise and Etchemendy's textbook Language, Proof and Logic.
» You might be also interested in:
Top ->
Science ->
Math ->
Logic and Foundations ->
History ->
People (94)
