236909

(2006) Synthese 148 (3).

Introduction

proof-theoretic semantics

Reinhard Kahle , Peter Schroeder-Heister

pp. 503-506

Publication details

DOI: 10.1007/s11229-004-6292-5

Full citation:

Kahle, R. , Schroeder-Heister, P. (2006). Introduction: proof-theoretic semantics. Synthese 148 (3), pp. 503-506.

This document is unfortunately not available for download at the moment.