By George Boolos, Richard C. Jeffrey, Boolos, George, Jeffrey, Richard C.
By Boolos, George S., Jeffrey, Richard C.
