Please be aware orders placed now will not arrive in time for Christmas, please check delivery times.
An Introduction to Formal Logic
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.