Gå direkt till innehållet
Labelled Deduction
Spara

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.
Upplaga
Softcover reprint of the original 1st ed. 2000
ISBN
9789401057813
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-10-08
Förlag
Springer
Sidor
267