Elementary Logic: For Software Development

This book teaches readers how to better reason about software development. It teaches how to communicate reasoning, to distinguish between good and bad reasoning, and to read professional literature that presumes knowledge of elementary logic.