Introduction to Formal Logic

Know about the book -

Introduction to Formal Logic is written by Associate Professor of Philosophy Russell Marcus and published by Oxford University Press, USA. It's available with International Standard Book Number or ISBN identification 0190861843 (ISBN 10) and 9780190861841 (ISBN 13).

Rigorous yet intuitive and accessible, Introduction to Formal Logic provides a focused, "nuts-and-bolts" introduction to formal deductive logic that covers syntax, semantics, translation, and natural deduction for propositional and predicate logics. For instructors who want to go beyond a basic introduction to explore the connection between formal logic techniques and philosophy, Oxford also publishes Introduction to Formal Logic with Philosophical Applications, an extended version of this text that incorporates two chapters of stand-alone essays on logic and its application in philosophy and beyond.