Advances in Proof Theory
Progress in Computer Science and Applied Logic
Kahle, R. (EDT)
Strahm, T. (EDT)
Studer, T. (EDT)
- 内容紹介：
-
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.