Il libro è attualmente esaurito
Maggiori informazioni sul libro
This book offers an in-depth exploration of sequent calculi, highlighting their significance alongside more familiar proof systems. It covers a diverse array of non-classical logics, such as intuitionistic, relevance, linear, and modal logics. The author details various proof systems, emphasizing the development of cut theorems and decidability theorems. This comprehensive treatment aims to enhance understanding and appreciation of sequent calculi within the broader context of logic.
Acquisto del libro
Proof Theory, Katalin Bimbó
- Lingua
- Pubblicato
- 2014
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.