The volume is dedicated to the 60th birthday of Professor Gerhard Jager, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium Advances in Proof Theory, which was held in Bern in December 2013.
Text of Note
Includes bibliographies
Text of Note
ISBN: 9783319291963
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Reinhard Kahle, Thomas Strahm, Thomas Studer, editors