Le livre est actuellement en rupture de stock
En savoir plus sur le livre
This book explores various formal proof procedures developed by logicians, including tableau systems, Gentzen sequent calculi, natural deduction systems, and axiom systems. It covers proof methods for normal and non-normal modal logics, as well as Intuitionistic and Classical logic, providing a comprehensive study of each system's applications and differences.
Achat du livre
Proof Methods for Modal and Intuitionistic Logics, M. Fitting
- Langue
- Année de publication
- 2010
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .