Het boek is momenteel niet op voorraad
Parameters
Meer over het boek
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.
Een boek kopen
Displaying Modal Logic, H. Wansing
- Taal
- Jaar van publicatie
- 1998
- product-detail.submit-box.info.binding
- (Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.