Logic From A To Z by Michael Detlefsen, David Charles McCarty & John B. Bacon