Introduction: Proof-theoretic Semantics
โ
Reinhard Kahle; Peter Schroeder-Heister
๐
Article
๐
2006
๐
Springer Netherlands
๐
English
โ 155 KB