MartinDavisの本

1冊

著者名の一致で集めています。同じ名前の別の方が混じることがあります。

• The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
  The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions2004-01-01