Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Labelled Deduction

1 260 kr
Lägsta pris på PriceRunner

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
Språk
engelska
Vikt
281 gram
Utgivningsdatum
2012-10-08
Förlag
Springer
Sidor
267