Methods of Cut-elimination - Trends in Logic - Matthias Baaz - Books - Springer - 9789400734975 - February 25, 2013
In case cover and title do not match, the title is correct

Matthias Baaz
Methods of Cut-elimination - Trends in Logic 2011 edition

Price
NZ$ 212.50
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 11 - 27
Get notified about new Matthias Baaz releases

Our customers say:

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

Not rated yet

Also available as:

This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.

296 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 25, 2013
ISBN13 9789400734975
Publishers Springer
Pages 296
Dimensions 156 × 234 × 15 mm   ·   417 g
Language English  

More by Matthias Baaz

Show all

More from the same publisher

See all of Matthias Baaz ( e.g. Paperback Book and Hardcover Book )