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
  • 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
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.)
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
Three hundred years of gravitation
  • DJVU
  • English
  • Year: 1987
  • Author: S. W. Hawking, W. Israel
The Theory of Ultrafilters
  • DJVU
  • English
  • Year: 1974
  • Author: W. W. Comfort, S. Negrepontis
search