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

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

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

並び替え:

表示形式:

表示件数:

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

全1件中 1 - 1件を表示

内井惣七の作品

この本を読んでいる人は、こんな本も本棚に登録しています。

有効な左矢印 無効な左矢印
ウィトゲンシュタ...
マックス ウェー...
有効な右矢印 無効な右矢印

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

ツイートする