Home Advanced Search

Advanced Search - Page 1

Applied proof theory: Proof interpretations and their use in mathematics
  • PDF
  • English
  • Year: 2008
  • Author: Ulrich Kohlenbach (auth.)
Logic colloquium 2007
  • PDF
  • English
  • Year: 2010
  • Author: Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan
Proof interpretations
  • PDF
  • English
  • Year: 1998
  • Author: Kohlenbach U.
Nietzsche Werke: Band 14 Nachbericht zur neunten Abteilung
  • PDF
  • German
  • Year: 2022
  • Author: Marie-Luise Haase; Michael Kohlenbach; Thomas Riebe; Beat Röllin; René Stockmar
Nietzsche Werke: Band 10 Arbeitshefte W II 8 und W II 9
  • PDF
  • German
  • Year: 2015
  • Author: Marie-Luise Haase; Michael Kohlenbach; Thomas Riebe; Beat Röllin; René Stockmar; Daniel Weißbrodt
Diccionario Bilingüe Maya Mopán y Español, Español y Maya Mopán.
  • PDF
  • Spanish
  • Year: 1976
  • Author: Matthew Ulrich, Rosemary Ulrich
Positive Dynamical Systems in Discrete Time
  • PDF
  • English
  • Year: 2015
  • Author: Ulrich Krause