Logic, Logic, and Logic
George Boolos was Professor of Philosophy, Massachusetts Institute of Technology.