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

著者 : 内井惣七

• ミネルヴァ書房 (1989年5月1日発売)

感想・レビュー・書評

[豆腐小僧さんの感想 · 2012年7月26日]

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