Author

This advanced text on formal logic covers semantics, axiomatics, and proofs of soundness, completeness, and Gödel’s theorems. It also discusses the pictorial semantics of logic diagrams, the evaluation of everyday argumentation, and Nether Logic, the logic of falsehood.