Introduction: Proof-Theoretic Semantics

Autor: Kahle, Reinhard, Schroeder-Heister, Peter
Zdroj: Synthese, 2006 Feb 01. 148(3), 503-506.
Databáze: JSTOR Journals