Logic: From Foundations to ApplicationsWilfrid Hodges, Martin Hyland, Charles Steinhorn, J. TrussInbunden, 1996618 kr
Extensions of Logic ProgrammingLars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-HeisterHäftad, 1992556 kr
Del 43Advances in Proof-Theoretic SemanticsThomas Piecha, Peter Schroeder-HeisterInbunden, 2015540 kr
Extensions of Logic ProgrammingRoy Dyckhoff, Heinrich Herre, Peter Schroeder-HeisterHäftad, 1996556 kr
Logical Writings of Karl PopperDavid Binder, Thomas Piecha, Peter Schroeder-HeisterHäftad, 2022433 kr
Proof Theory in Computer ScienceReinhard Kahle, Peter Schroeder-Heister, Robert StärkHäftad, 2001540 kr
Logical Writings of Karl PopperDavid Binder, Thomas Piecha, Peter Schroeder-HeisterInbunden, 2022540 kr