Home Advanced Search

Advanced Search - Page 1

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
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.)
Proof Theory: The First Step into Impredicativity
  • PDF
  • English
  • Year: 2009
  • Author: Pohlers W.
Kurt Gödel Collected Works, Volume V Correspondence H-Z
  • PDF
  • English
  • Year: 2003
  • Author: Solomon Feferman, John W. Dawson Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg
Kurt Godel: Collected Works: Volume IV
  • PDF
  • English
  • Year: 2013
  • Author: Kurt Godel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, Wilfried Sieg
Kurt Godel: Collected Works: Volume V
  • PDF
  • English
  • Year: 2013
  • Author: Kurt Godel, Solomon Feferman, John W. Dawson Jr, Warren Goldfarb, Charles Parsons, Wilfried Sieg
Collected Works. - Unpublished essays and lectures
  • DJVU
  • English
  • Year: 1995
  • Author: Kurt Gödel, S. Feferman (Editor-in-Chief), John W. Dawson Jr., Warren Goldfarb, Charles Parsons, R. Solovay
Collected Works: Volume III: Unpublished essays and lectures (Godel, Kurt//Collected Works)
  • DJVU
  • English
  • Year: 1995
  • Author: Kurt Gödel, S. Feferman (Editor-in-Chief), John W. Dawson Jr., Warren Goldfarb, Charles Parsons, R. Solovay
search