Logic, Logic, and Logic door George Boolos