Plato, Jan Von <br/><br/>
Elements of Logical Reasoning 
/ Jan Von Plato 
 - Cambridge :  Cambridge University Press,  2013. 
 - ix, 264 p. 
<br/><br/>Contents<br/><br/>Preface<br/>Part I:- First Step in Logical Reasoning<br/><br/>1. Starting-Points<br/>2. Rules of Proof<br/>3. Natural Deduction<br/>4. Proof Search<br/>5. Classical Natural Deduction<br/>6. Proof Search in Classical Logic<br/>7.  The Semantics of Propositional Logic<br/><br/>Part II:- Logical Reasoning with the Quantifiers<br/><br/>8. The Quantifiers<br/>9. Derivations in Predicate Logic<br/>10. The Semantics of Predicate Logic<br/><br/>Part III :- Beyond Pure Logic<br/>11. Equality and Axiomatic Theories<br/>12. Elements of the Proof Theory of Arithmetic<br/><br/> Part IV  :- Complementary Topics<br/>13. Normalization and Cut Elimination<br/>14. Deductive Machinery from Aristotle to Heyting<br/><br/>Suggestions for use of this book<br/>Further Reading<br/>Bibliography<br/>Index of Names<br/>Index of Subjects<br/> 
<br/><br/><label>ISBN: </label>9781107610774 (pbk) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and Mathematical - Reasoning
<br/><br/><label>Dewey Class. No.: </label>160.1  / P6971