Home Advanced Search

Advanced Search - Page 1

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.)
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
  • DJVU
  • 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
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
Hilbert’s Programs and Beyond
  • PDF
  • English
  • Year: 2013
  • Author: Wilfried Sieg
Hilbert’s Programs and Beyond
  • PDF
  • English
  • Year: 2013
  • Author: Wilfried Sieg
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
  • PDF
  • German-English
  • Year: 2013
  • Author: William Ewald, Wilfried Sieg (auth.), William Ewald, Wilfried Sieg (eds.)
search