Het boek is momenteel niet op voorraad
Meer over het boek
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
Een boek kopen
The Logica Yearbook 2008, Michal Peliš
- Taal
- Jaar van publicatie
- 2009
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.