Peter Schroeder-Heister

Peter Schroeder-Heister

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.

Back to all authors

Books Edited by Peter Schroeder-Heister

Advances in Proof-Theoretic Semantics

Post date: 26 Apr 2017
A compilation of papers, which mostly result from The Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013.
Publisher: Springer-Verlag GmbH
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported
Document Type: Book
 
Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Post date: 26 Apr 2017
A compilation of papers, which mostly result from The Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013.
Publisher: Springer-Verlag GmbH
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported Document Type: Book


Book Categories