Peter Schroeder-Heister

Books that list Peter Schroeder-Heister among their authors but not as the lead author: co-written works, collections and compilations.

Advances in Proof-Theoretic SemanticsThomas Piecha

Advances in Proof-Theoretic Semantics

Thomas Piecha · 2014

Proof theory in computer scienceReinhard Kahle

Proof theory in computer science

Reinhard Kahle · 2001

Logical Writings of Karl PopperDavid Binder

Logical Writings of Karl Popper

David Binder · 2022

Extensions of Logic ProgrammingLars-Henrik Eriksson

Extensions of Logic Programming

Lars-Henrik Eriksson · 2014