Memoirs of a Proof Theorist : Gödel and Other Logicians /

Benzer Materyaller

• Where Is the Gödel-Point Hiding : Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals /
  Yazar:: Horská, Anna
  Baskı/Yayın Bilgisi: (2014, c2014)
• Proofs : A Long-Form Mathematics Textbook /
  Yazar:: Cummings, Jay
  Baskı/Yayın Bilgisi: (2023, c2023)
• An Accompaniment to Higher Mathematics /
  Yazar:: Exner, George R.
  Baskı/Yayın Bilgisi: (1999, c1996)
• Gödel, Escher, Bach : An Eternal Golden Braid /
  Yazar:: Hofstadter, Douglas R.
  Baskı/Yayın Bilgisi: (1979, c1979)
• Gödel, Escher, Bach : una eterna trenza dorada /
  Yazar:: Hofstadter, Douglas R.
  Baskı/Yayın Bilgisi: (1982, c1982)