Sweet reason : a field guide to modern logic - Tymoczko, Thomas (Springer, 2000)