Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Displaying Modal Logic, H. Wansing
- Lingua
- Pubblicato
- 1998
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.