People, Problems, and Proofs : Essays from Gödel's Lost Letter: 2010 /

Схожі ресурси

• The P=NP Question and Gödel.s Lost Letter /
  за авторством: Richard J. Lipton
  Опубліковано: (2010, c2010)
• Memoirs of a Proof Theorist : Gödel and Other Logicians /
  за авторством: Takeuti, Gaisi
  Опубліковано: (2003, c2003)
• Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /
  за авторством: Gordon Fraser, Angelo Gargantini
  Опубліковано: (2010, c2010)
• Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
  за авторством: Georg Gottlob, Alexander Leitsch, Daniele Mundici
  Опубліковано: (1997, c1997)
• Proofs and Algorithms : An Introduction to Logic and Computability /
  за авторством: Gilles Dowek
  Опубліковано: (2011, c2011)