Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Proof Theory, Katalin Bimbó
- Langue
- Année de publication
- 2014
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.