Euclid Aristotle Leibniz Boole De Morgan
Cantor Dedekind Peirce Frege Russell
Hilbert Herbrand Godel Malcev Skolem
Church Turing Tarski Robinson Lob