Peter Schroeder-Heister · 4 obras en el catálogoObrasProof theory in computer scienceExtensions of Logic ProgrammingAdvances in Proof-Theoretic SemanticsLLogical Writings of Karl PopperLogical Writings of Karl Popper