Labelled Non-Classical Logics - Luca Vigano - Books - Springer - 9780792377498 - January 31, 2000
In case cover and title do not match, the title is correct

Luca Vigano
Labelled Non-Classical Logics 2000 edition

Price
R 2,609
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Mar 30 - Apr 7

Our customers say:

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

Also available as:

Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.

292 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released January 31, 2000
ISBN13 9780792377498
Publishers Springer
Pages 292
Dimensions 156 × 234 × 19 mm   ·   612 g
Language English  

More by Luca Vigano

Show all

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