Tharp, Alfred Tarski, George Boolos, Steven J.