野矢先生の『論理学』と『入門!論理学』を注文

論理学

入門!論理学 (中公新書)

id:mickmackさんのリレーショナル・データベースの世界で紹介されている『論理学』ですが、本屋で立ち読みし面白そうなので、amazonで注文しました。ついでに同著者による『入門!論理学』も注文しました。通勤の空き時間に読む用によさそうなので、文庫サイズも注文しました。

以下、id:mickmackさんのサイトより、同書の紹介の抜粋。

　野矢茂樹, 1994。著者と二人の禅僧の対話形式で進む論理学の教科書。なるべく形式的すぎて無味乾燥にならないようにという努力が好ましい。命題論理、述語論理の基礎はカバーされていますが、直観主義論理に一章が割かれているのが普通の教科書と違うところ。これは、著者が直観主義にシンパシーを持つ立場であることによります。

また、id:mickmackさんの『SQLアタマアカデミー』の連載はこちらで読めます。
超、超、超オススメです。
SQLアタマアカデミー：連載｜gihyo.jp … 技術評論社