Logical Writings of Karl PopperDavid Binder, Thomas Piecha, Peter Schroeder-Heister · First published 2022Open the Tome
Advances in Proof-Theoretic SemanticsThomas Piecha, Peter Schroeder-Heister · First published 2014Open the Tome
Extensions of Logic ProgrammingLars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister · First published 2014Open the Tome
Proof theory in computer scienceReinhard Kahle, Peter Schroeder-Heister · First published 2001Open the Tome
Untersuchungen zur regellogischen Deutung von AussagenverknüpfungenPeter Joseph Schroeder-Heister · First published 1981Open the Tome
