Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Reinhard Kahle; Thomas Strahm; Thomas Studer
    978-3-319-29198-7
    2016
    Edition 1
    • This book contains state-of-the-art contributions to various topics in Proof Theory
    • The papers range from traditional mathematical proof theory via constructive mathematics to applications in computer science
    • This volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years
    • Includes supplementary material: sn.pub/extras

    €180

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.