Sweet reason a field guide to modern logic - Henle, James M. 1946-; Garfield, Jay L. 1955-; Tymoczko, Thomas 1943-1996 (Wiley-Blackwell, 2012)
Thomas Tymoczko listed first of prev. ed.