Le livre est actuellement en rupture de stock
En savoir plus sur le livre
It is argued that the sequent calculus is more appropriate to model hypothetical reasoning than the calculus of natural deduction. Here "sequent calculus" is understood in a very general way which includes what might be called a "natural-deduction-style sequent calculus", that is, a natural deduction system with bidirectional rules
Achat du livre
The Logica Yearbook 2008, Michal Peliš
- Langue
- Année de publication
- 2009
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .