Peter Schroeder-Heister is professor of logic and philosophy of language at the University of Tübingen, holding a joint appointment in the Departments of Philosophy and of Computer Science. He works in particular on philosophical aspects of proof theory and is a leading expert in the area of proof-theoretic semantics.
Books Edited by Peter Schroeder-Heister
Advances in Proof-Theoretic Semantics
Post date: 26 Apr 2017Advances in Proof-Theoretic Semantics
Post date: 26 Apr 2017