Kniha momentálne nie je na sklade
Parametre
Viac o knihe
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.
Nákup knihy
Displaying Modal Logic, H. Wansing
- Jazyk
- Rok vydania
- 1998
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.