Welcome to UE Central Library

Keep Smiling

Elements of Logical Reasoning

Plato, Jan Von

Elements of Logical Reasoning / Jan Von Plato - Cambridge : Cambridge University Press, 2013. - ix, 264 p.

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


9781107610774 (pbk)


Logic, Symbolic and Mathematical - Reasoning

160.1 / P6971
Copyright © 2023, University of Education, Lahore. All Rights Reserved.
Email:centrallibrary@ue.edu.pk