An Introduction to Formal Logic
Product Description
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.
Technical Specifications
You might also like
How to Prove It: A Structured Approach, 2nd Edition
More Precisely: The Math You Need to Do Philosophy (Broadview Guides to Philosophy)
Mathematical Logic (Oxford Texts in Logic)
Propositional and Predicate Calculus: A Model of Argument
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
First-Order Logic (Dover Books on Mathematics)
A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy)
Classical Rhetoric for the Modern Student, 4th Edition
The Foundations of Mathematics