Logic for Justice: an Introduction to Formal with Emphasis on Political Reform

In addition, is extremely lucid, thorough, and clear. It explains, and motivates, many different features of the formalism of propositional logic and first-order logic, always connecting those features back to real-world issues. Key Features