Non abbiamo ancora una biografia di Peter Schroeder-Heister.
Pubblicato in Inglese
Advances in Proof-Theoretic Semantics
Proof theory in computer science
Logical Writings of Karl Popper
Extensions of Logic Programming
