Gå direkte til innholdet
Labelled Deduction
Spar

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.
Opplag
Softcover reprint of the original 1st ed. 2000
ISBN
9789401057813
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
8.10.2012
Forlag
Springer
Antall sider
267