Nicholas Rescher is a distinguished philosopher, prolific author, and former university president known for his contributions to the fields of logic, metaphysics, and epistemology.
Alonzo Church was an American mathematician and logician, best known for his contributions to the development of the lambda calculus and the Church-Turing thesis.