ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　また、難しそうな本が売れとるわあ。
　お買い上げありがとうございます。
　時間がなく、名前だけですみません。

http://www.amazon.co.jp/exec/obidos/ASIN/413012062X/showshotcorne-22/
記号論理学講義: 基礎理論 束論と圏論 知識論 [単行本]
清水 義夫 (著)

　関連書で出てくる
http://www.amazon.co.jp/exec/obidos/ASIN/4274069117/showshotcorne-22/
型システム入門 －プログラミング言語と型の理論－
[単行本（ソフトカバー）]
Benjamin C. Pierce (著), 住井 英二郎 (翻訳), 遠藤 侑介 (翻訳),
酒井 政裕 (翻訳), 今井 敬吾 (翻訳), 黒木 裕介 (翻訳),
今井 宜洋 (翻訳), 才川 隆文 (翻訳), 今井 健男 (翻訳)
は、以前、紹介してます。

関連：
http://iiyu.asablo.jp/blog/2013/03/08/6740726
オーム社から、ピアース「型システム入門」
http://iiyu.asablo.jp/blog/2013/03/08/6740716
オーム社からカーニハン「ディジタル作法」