| Aquinas, Thomas@ (38) |
| Aristotle@ (69) |
| Augustine of Hippo@ (129) |
| Bernays, Paul (2) |
| Boole, George (3) |
| Cantor, Georg (4) |
| Church, Alonzo (4) |
| Frege, Gottlob (11) |
| Gödel, Kurt (10) |
| Hilbert, David (6) |
| Husserl, Edmund@ (25) |
| Leibniz, Gottfried Wilhelm@ (48) | |
| Lukasiewicz, Jan (6) |
| McCarthy, John@ (4) |
| Peirce, Charles Sanders (9) |
| Post, Emil L. (5) |
| Prior, Arthur Norman@ (1) |
| Quine, Willard van Orman@ (11) |
| Russell, Bertrand@ (23) |
| Skolem, Thoralf (2) |
| Tarski, Alfred (3) |
| Turing, Alan Mathison (14) |
| Wittgenstein, Ludwig@ (52) |
| Zermelo, Ernst (2) | |
