Home Advanced Search

Advanced Search - Page 1

Advances in proof-theoretic semantics
  • PDF
  • English
  • Year: 2016
  • Author: Piecha, Thomas;Schroeder-Heister, Peter Joseph
Advances in Proof-Theoretic Semantics
  • PDF
  • English
  • Year: 2015
  • Author: Thomas Piecha, Peter Schroeder-Heister
Substructural Logics
  • DJVU
  • English
  • Year: 1994
  • Author: Kosta Došen, Peter Schroeder-Heister
Substructural Logics (Studies in Logic and Computation)
  • DJVU
  • English
  • Year: 1994
  • Author: Kosta Došen, Peter Schroeder-Heister
Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.)
Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.)
Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)
Finanzierung von Social Entrepreneurship durch Venture Philanthropy und Social Venture Capital: Auswahlprozess und -kriterien der Finanzintermediäre
  • PDF
  • German
  • Year: 2010
  • Author: Peter Heister (auth.)
Enzyklopädie Philosophie und Wissenschaftstheorie: Band 1: A–B
  • PDF
  • German
  • Year: 2005
  • Author: Gottfried Gabriel, Matthias Gatzemeier, Carl F. Gethmann, Peter Janich, Friedrich Kambartel, Kuno Lorenz, Klaus Mainzer, Peter Schroeder-Heister, Christian Thiel, Reiner Wimmer, Martin Carrier (auth.), Jürgen Mittelstraß (eds.)
Canons and decrees of the Council of Trent: original text with English translation
  • PDF
  • English, Latin
  • Year: 1941
  • Author: Henry Joseph Schroeder
search