Labelled Deduction - Applied Logic Series - Luca Vigano - Books - Springer - 9780792362371 - April 30, 2000
In case cover and title do not match, the title is correct

Luca Vigano
Labelled Deduction - Applied Logic Series 2000 edition

Price
$ 122.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 29 - Jul 9

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 30, 2000
ISBN13 9780792362371
Publishers Springer
Pages 267
Dimensions 170 × 244 × 17 mm   ·   576 g
Language English  
Editor Basin, David
Editor D'Agostino, M.
Editor Gabbay, Dov M.
Editor Matthews, Sean
Editor Vigano, Luca

More by Luca Vigano

Show all

Mere med samme udgiver

See all of Luca Vigano ( e.g. Hardcover Book and Paperback Book )