Home Advanced Search

Advanced Search - Page 1

Proof Theory: The First Step into Impredicativity
  • PDF
  • English
  • Year: 2009
  • Author: Pohlers W.
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  • PDF
  • English
  • Year: 1981
  • Author: W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  • DJVU
  • English
  • Year: 1981
  • Author: W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
Iterated Inductive Definitions and Subsystems of Analysis
  • DJVU
  • English
  • Year: 1981
  • Author: W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
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
search