Logic Primer by
Call Number: BC108 .A543 2022
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 and for first-order predicate logic with identity. For this third edition, the material has been reorganized in order to increase the modularity of the text and enable teachers to choose alternative paths through the book. Its spare and elegant treatment makes Logic Primer unique among textbooks.