by Luca Viganò (Editor), David Basin (Editor), David Basin (Editor), Luca Viganò (Editor), Dov M. Gabbay (Editor), M. D'Agostino (Editor), Seán Matthews (Editor)
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.
Format: Illustrated
Pages: 284
Edition: 2000
Publisher: Springer
Published: 30 Apr 2000
ISBN 10: 0792362373
ISBN 13: 9780792362371
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
