Labelled Non-Classical Logics - Luca Vigano - Books - Springer-Verlag New York Inc. - 9781441949622 - December 3, 2010
In case cover and title do not match, the title is correct

Luca Vigano
Labelled Non-Classical Logics Softcover reprint of the original 1st ed. 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     Paperback Book   (Book with soft cover and glued back)
Released December 3, 2010
ISBN13 9781441949622
Publishers Springer-Verlag New York Inc.
Pages 292
Dimensions 155 × 235 × 16 mm   ·   435 g
Language English  

More by Luca Vigano

Show all

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