Home Advanced Search

Advanced Search - Page 1

Kurt Gödel Collected Works, Volume V Correspondence H-Z
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
Hilbert’s Programs and Beyond
Hilbert’s Programs and Beyond
  • PDF
  • English
  • Year: 2013
  • Author: Wilfried Sieg
Alfred Tarski: Life and Logic
Alfred Tarski: Life and Logic
  • DJVU
  • English
  • Year: 2008
  • Author: Anita Burdman Feferman, Solomon Feferman
Alfred Tarski: Life and Logic
Alfred Tarski: Life and Logic
  • PDF
  • English
  • Year: 2008
  • Author: Anita Burdman Feferman, Solomon Feferman
Deductive Logic
Deductive Logic
  • PDF
  • English
  • Year: 2003
  • Author: Warren Goldfarb
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  • PDF
  • English
  • Year: 1981
  • Author: W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
Toulouse in the Renaissance: the Floral Games, University and Student Life, Étienne Dolet (1532-1534)
  • PDF
  • English
  • Year: 2019
  • Author: John Charles Dawson
Model-Theoretic Logics
Model-Theoretic Logics
  • DJVU
  • English
  • Year: 1985
  • Author: Barwise, Jon; Feferman, Solomon (eds.)
First Day at Gettysburg : Crisis at the Crossroads
First Day at Gettysburg : Crisis at the Crossroads
  • PDF
  • English
  • Year: 2010
  • Author: Warren W. Hassler Jr
search