We a good story
Quick delivery in the UK

Deduction

- Introductory Symbolic Logic

About Deduction

Offers a presentation of classical first-order logic. This book presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.

Show more
  • Language:
  • English
  • ISBN:
  • 9780631227137
  • Binding:
  • Paperback
  • Pages:
  • 528
  • Published:
  • September 12, 2002
  • Edition:
  • 2
  • Dimensions:
  • 231x150x28 mm.
  • Weight:
  • 708 g.
Delivery: 2-4 weeks
Expected delivery: September 26, 2025

Description of Deduction

Offers a presentation of classical first-order logic. This book presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.

User ratings of Deduction



Find similar books
The book Deduction can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.