Sweet reason : a field guide to modern logic - Tymoczko, Thomas, 1943-1996 (Textbooks in mathematical sciences, 2000)