真理・証明・計算―論理と機械

  • 17人登録
  • 3.33評価
    • (0)
    • (1)
    • (2)
    • (0)
    • (0)
  • 1レビュー
著者 : 内井惣七
  • ミネルヴァ書房 (1989年5月発売)
  • Amazon.co.jp ・本 (197ページ)
  • / ISBN・EAN: 9784623018840

真理・証明・計算―論理と機械の感想・レビュー・書評

並び替え:

表示形式:

表示件数:

  • 勧められて購入。読み物と入門書の中間。とても面白い。コンパクトな本だが非常に内容が豊富なので、様々な本と一緒に読むと良いのかもしれない。

全1件中 1 - 1件を表示

内井惣七の作品

真理・証明・計算―論理と機械を本棚に「読みたい」で登録しているひと

真理・証明・計算―論理と機械を本棚に「いま読んでる」で登録しているひと

真理・証明・計算―論理と機械を本棚に「読み終わった」で登録しているひと

真理・証明・計算―論理と機械を本棚に「積読」で登録しているひと

真理・証明・計算―論理と機械はこんな本です

ツイートする