Martin Davisの本

5冊

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

• 万能コンピュータ : ライプニッツからチューリングへの道すじ : チューリング生誕100周年記念版
  万能コンピュータ : ライプニッツからチューリングへの道すじ : チューリング生誕100周年記念版2016-11-01
• 数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理
  数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理2003-07-01
• 超準解析
  超準解析1982-11-01
• Applied nonstandard analysis
  Applied nonstandard analysis1977-01-01
• The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
  The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions1965-01-01