Boeken over The Language Of First-Order Logic, Including The Macintosh Program Tarski's World 4.0