Author: patrick suppes and alfred tarski ernest nagel