Tarski's World 3.0 : including the Macintosh program /