Logic demystified - Boutelle, Anthony (Demystified series, 2011)