An Introduction to Formal Logic (Paperback)
Cambridge University Press, 9780521008044, 357pp.
Publication Date: February 28, 2018
List Price: 39.99*
* Individual store prices may vary.
Peter Smith introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible "tree" method. His commentary is supplemented with examples and exercises, making the text appropriate for a first logic course. The book will also provide a basis for further research in formal and philosophical logic.