Logic Primer presents a rigorous introduction to natural deduction systems of sentential and first-order logic. Logic Primer presents a rigorous introduction to

The new edition of a comprehensive and rigorous but concise introduction to symbolic logic. Logic Primer offers a comprehensive and rigorous introduction to sym

Logic Primer presents a rigorous introduction to natural deduction systems of sentential and first-order logic. Logic Primer presents a rigorous introduction to

Two-volume introduction to formal logic. Volume I presents sentence logic and Volume II covers predicate logic and metatheory. Features easy-to-understand expla