Tarski's World by Jon Barwise & John Etchemendy