Author - George S. Boolos, John P. Burgess, Richard C. Jeffrey