Logic, Logic, and Logic by George Boolos