Peter Schroeder-Heister profile picture

Peter Schroeder-Heister

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Substructural Logics
Advances in Proof-Theoretic Semantics
The Logical Writings of Karl Popper
The Logical Writings of Karl Popper
Advances in Proof-Theoretic Semantics
Extensions of Logic Programming International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings