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

Lignende værker

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