Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Proof Methods for Modal and Intuitionistic Logics, M. Fitting
- Taal
- Jaar van publicatie
- 1983
- product-detail.submit-box.info.binding
- (Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.