Le livre est actuellement en rupture de stock
En savoir plus sur le livre
The book offers an in-depth exploration of sequent calculi, highlighting their significance in proof systems compared to more familiar methods like axiomatic and natural deduction. It covers a diverse array of variations and emphasizes their application in non-classical logics, making it a valuable resource for those interested in advanced logical frameworks and their theoretical implications. The comprehensive treatment aims to enhance understanding and appreciation of sequent calculi in the broader context of mathematical logic.
Achat du livre
Proof Theory, Katalin Bimbó
- Langue
- Année de publication
- 2024
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.