Sweet reason : a field guide to modern logic - Tymoczko, Thomas; Henle, James M. (W.H. Freeman, 1995)