Home Advanced Search

Advanced Search - Page 1

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
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
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. Publications 1929-1936
  • DJVU
  • English
  • Year: 1986
  • Author: Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort
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.)
Collected works. Publications 1938-1974
  • DJVU
  • English
  • Year: 1989
  • Author: Kurt Gödel, S. Feferman, John W. Dawson Jr., Stephen C. Kleene, G. Moore, R. Solovay, the late Jean van Heijenoort
Kurt Gödel: Essays for his Centennial
  • PDF
  • English
  • Year: 2010
  • Author: Solomon Feferman, Charles Parsons, Stephen G. Simpson (eds.)
Kurt Gödel: Essays for his Centennial
  • PDF
  • English
  • Year: 2010
  • Author: Solomon Feferman, Charles Parsons, Stephen G. Simpson (eds)
Why Prove it Again?: Alternative Proofs in Mathematical Practice
  • PDF
  • English
  • Year: 2015
  • Author: John W. Dawson Jr.
search