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

An introductory textbook, Logic For Justice covers, in full detail, the language and semantics of both propositional logic and first-order logic. Furthermore, it motivates the study of those logical systems by drawing on social and political issues.