Tarski's World 4.0 for Macintosh door Jon Barwise & John Etchemendy