Il libro è attualmente esaurito
Maggiori informazioni sul libro
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
Acquisto del libro
The Logica Yearbook 2008, Michal Peliš
- Lingua
- Pubblicato
- 2009
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.