Description

Useful for symbolic or formal logic courses, this text presents the techniques and concepts with explanations, and includes examples. It offers instructors the freedom to cover the topics they want in the order they choose.