Methods of Cut-Elimination - Trends in Logic - Matthias Baaz - Books - Springer - 9789400703193 - January 17, 2011
In case cover and title do not match, the title is correct

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

Price
$ 122.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 27 - Jun 8

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:

Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs).

296 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released January 17, 2011
ISBN13 9789400703193
Publishers Springer
Pages 290
Dimensions 159 × 239 × 24 mm   ·   589 g
Language English  

More by Matthias Baaz

Show all

Mere med samme udgiver

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