Siirry suoraan sisältöön
  1. Kirjat
  2. Englanninkieliset kirjat

Labelled Deduction

129,70 €

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.

ISBN
9789401057813
Kieli
englanti
Paino
281 grammaa
Julkaisupäivä
8.10.2012
Kustantaja
Springer
Sivumäärä
267