Home Advanced Search

Advanced Search - Page 1

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 V
  • PDF
  • English
  • Year: 2013
  • Author: Kurt Godel, 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
Why Prove it Again?: Alternative Proofs in Mathematical Practice
  • PDF
  • English
  • Year: 2015
  • Author: John W. Dawson Jr.
Logical Dilemmas: The Life and Work of Kurt Godel
  • PDF
  • English
  • Year: 1997
  • Author: John W. Dawson Jr.
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  • PDF
  • English
  • Year: 1981
  • Author: W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
The Number Systems: foundations of algebra and analysis
  • DJVU
  • English
  • Year: 1964
  • Author: Solomon Feferman
Hilbert’s Programs and Beyond
  • PDF
  • English
  • Year: 2013
  • Author: Wilfried Sieg
Hilbert’s Programs and Beyond
  • PDF
  • English
  • Year: 2013
  • Author: Wilfried Sieg
Alfred Tarski: Life and Logic
  • PDF
  • English
  • Year: 2008
  • Author: Anita Burdman Feferman, Solomon Feferman
search