Logic Primer, third edition
Allen, Colin / Hand, Michael The new edition of a comprehensive and rigorous but concise introduction to symbolic logic.Logic Primer offers a comprehensive and rigorous introduction to symbolic logic, providing concise definitions of key concepts, illustrative examples, and exercises. After presenting the definitions of validity and soundness, the book goes on to introduce a formal language, proof theory, and formal semantics for sentential logic (chapters 1-3) and for fi...