👤

Peter Schroeder-Heister

3 books

Books by Peter Schroeder-Heister

Logical Writings of Karl Poppe
Logical Writings of Karl Popper
2022
Advances in Proof-Theoretic Semantics
Advances in Proof-Theoretic Semantics
2014
Proof theory in computer science
Proof theory in computer science
2003