TY  - BOOK
AU  - Plato, Jan Von
TI  - Elements of Logical Reasoning
SN  - 9781107610774 (pbk)
U1  - 160.1 
PY  - 2013///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Logic, Symbolic and Mathematical - Reasoning
N1  - Contents

Preface
Part I:- First Step in Logical Reasoning

1. Starting-Points
2. Rules of Proof
3. Natural Deduction
4. Proof Search
5. Classical Natural Deduction
6. Proof Search in Classical Logic
7.  The Semantics of Propositional Logic

Part II:- Logical Reasoning with the Quantifiers

8. The Quantifiers
9. Derivations in Predicate Logic
10. The Semantics of Predicate Logic

Part III :- Beyond Pure Logic
11. Equality and Axiomatic Theories
12. Elements of the Proof Theory of Arithmetic

 Part IV  :- Complementary Topics
13. Normalization and Cut Elimination
14. Deductive Machinery from Aristotle to Heyting

Suggestions for use of this book
Further Reading
Bibliography
Index of Names
Index of Subjects

ER  -