Elementary logic : For software development

This book teaches readers how to better reason about software development, to communicate reasoning, to distinguish between good and bad reasoning, and to read professional literature that presumes knowledge of elementary logic. It explains fundamental concepts and provides reader-friendly instructions for applying logic to software development.