Proceedings
Reinhard Kahle and Peter Schroeder-Heister,
Proof-Theoretic Semantics
,
Special issue of Synthese
, 2006. (
Table of Contents and Introduction
)