ペーター・シュレーダー・ハイスターの証明論的意味論
Peter Schroeder-Heister on Proof-Theoretic Semantics
Outstanding Contributions to Logic 29
Piecha, Thomas
Wehmeier, Kai F.
- 内容紹介：
-
This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself.