Thinking about Gödel and Turing : essays on complexity 1970-2007 /

Benzer Materyaller

• Algorithmic information theory
  Yazar:: Gregory J. Chaitin
  Baskı/Yayın Bilgisi: (1987)
• Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
  Yazar:: van Atten, Mark
  Baskı/Yayın Bilgisi: (2015)
• An introduction to Gödel's Theorems
  Yazar:: Smith, Peter
  Baskı/Yayın Bilgisi: (2013)
• Godel,escher,bach :
  Yazar:: Hofstadter, Douglas R.
  Baskı/Yayın Bilgisi: (1980)
• Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
  Baskı/Yayın Bilgisi: (2001)