Description
Advances in Proof Theory, Softcover reprint of the original 1st ed. 2016
Progress in Computer Science and Applied Logic Series, Vol. 28
Coordinators: Kahle Reinhard, Strahm Thomas, Studer Thomas
Language: EnglishSubject for Advances in Proof Theory:
Publication date: 05-2018
Support: Print on demand
Publication date: 05-2016
425 p. · 15.5x23.5 cm · Hardback ·
Description
/li>Contents
/li>Comment
/li>
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