Le livre est actuellement en rupture de stock
En savoir plus sur le livre
This monograph presents a refined exploration of proof systems for modal and constructive logics, focusing on display logic. It discusses generalized Gentzen systems, comparing various approaches and their pros and cons. The book includes introductory material and acknowledges contributions and support received during its development.
Achat du livre
Displaying Modal Logic, H. Wansing
- Langue
- Année de publication
- 1998
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .