Home Advanced Search

Advanced Search - Page 1

Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002
  • DJVU
  • English
  • Year: 2006
  • Author: Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers (eds.)
Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27
  • DJVU
  • English
  • Year: 2006
  • Author: Chatzidakis, Zoe ́Maria; Koepke, Peter; Pohlers, Wolfram (eds.)
Proof Theory. An Introduction
  • DJVU
  • English
  • Year: 1989
  • Author: Wolfram Pohlers, Pohlers
Proof theory: the first step into impredicativity
  • PDF
  • English
  • Year: 2009
  • Author: Pohlers, Wolfram
Lineare Algebra [Lecture notes]
  • PDF
  • German
  • Year: 1998
  • Author: Wolfram Pohlers
Mathematische Grundlagen der Informatik
  • PDF
  • German
  • Year: 2020
  • Author: Wolfram Pohlers
Proof Theory: The First Step into Impredicativity
  • PDF
  • English
  • Year: 2008
  • Author: Wolfram Pohlers
Proof Theory: The First Step into Impredicativity
  • PDF
  • English
  • Year: 2008
  • Author: Wolfram Pohlers
Proof Theory: The First Step into Impredicativity
  • PDF
  • English
  • Year: 2009
  • Author: Wolfram Pohlers (auth.)
Model theory with applications to algebra and analysis, Volume 1
  • PDF
  • English
  • Year: 2008
  • Author: Zoé Maria Chatzidakis, Dugald Macpherson, Anand Pillay and Alex Wilkie
search