Tallenna
Labelled Deduction
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.
- Toimittaja
- David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò
- Painos
- Softcover reprint of the original 1st ed. 2000
- ISBN
- 9789401057813
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 8.10.2012
- Kustantaja
- Springer
- Sivumäärä
- 267
