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