Login

Publication

Detail

Publication date: 01/01/2006

Proof-theoretic semantics

Authors

Reinhard Kahle, Peter Schroeder-Heister,
Series Synthese
Volume 148
Number 3
Series Synthese
Volume 148
Number 3