Tell your friends about this item:
Labelled Deduction - Applied Logic Series Luca Vigano 2000 edition
Labelled Deduction - Applied Logic Series
Luca Vigano
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.
278 pages, biography
More by Luca Vigano
Show allMore from the same publisher
See all of Luca Vigano ( e.g. Hardcover Book and Paperback Book )