El libro está agotado actualmente
Más información sobre el 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.
Compra de libros
Displaying Modal Logic, H. Wansing
- Idioma
- Publicado en
- 1998
- product-detail.submit-box.info.binding
- (Tapa dura)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.