Welcome to UE Central Library

Keep Smiling

Elements of Logical Reasoning / Jan Von Plato

By: Material type: TextTextPublication details: Cambridge : Cambridge University Press, 2013.Description: ix, 264 pISBN:
  • 9781107610774 (pbk)
Subject(s): DDC classification:
  • 160.1 P6971
Contents:
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
List(s) this item appears in: New Arrivals FY 2023-24 | Psychology FY 2023-2024
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Books Books UE-Central Library 160.1 P6971 (Browse shelf(Opens below)) Available T17422
Books Books UE-Central Library 160.1 P6971 (Browse shelf(Opens below)) Available T17423
Books Books UE-Central Library 160.1 P6971 (Browse shelf(Opens below)) Available T17424

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

There are no comments on this title.

to post a comment.
Copyright © 2023, University of Education, Lahore. All Rights Reserved.
Email:centrallibrary@ue.edu.pk