Peter Schroeder-Heister

Books by Peter Schroeder-Heister

Total count: 4

• Proof Theory in Computer ScienceInternational Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

  Springer London, Limited2003-01-01
• 
  Extensions of Logic ProgrammingSecond International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

  Springer2014-03-12
• 
  Advances in Proof-Theoretic Semantics

  Springer2016-08-23
• Logical Writings of Karl Popper

  Springer International Publishing AG2022-01-01