Home Advanced Search

Advanced Search - Page 1

Proof Theory: The First Step into Impredicativity
  • PDF
  • English
  • Year: 2009
  • Author: Wolfram Pohlers (auth.)
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
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  • PDF
  • English
  • Year: 1981
  • Author: Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg (auth.)
An introduction to mathematical logic
  • PDF
  • English
  • Author: Wolfram Pohlers (author), Thomas Glaß (editor)
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.)
search