三浦と窮理とブログ

自分の経験したことを検索可能にしていくブログ.誰かの役に立ってくれれば嬉しいです.

2017-04-16から1日間の記事一覧

『証明と論理に強くなる』を読んだ

『証明と論理に強くなる』 著:小島寛之 2017年 証明と論理に強くなる ~論理式の読み方から、ゲーデルの門前まで~ (知の扉)作者: 小島寛之出版社/メーカー: 技術評論社発売日: 2017/01/11メディア: 単行本(ソフトカバー)この商品を含むブログ (3件) を見る…