2007-12-22から1日間の記事一覧
清水義夫、『圏論による論理学 高階論理とトポス』、東京大学出版会、¥2940. 2年ほど前、ご本人から執筆中との話を聞いていましたが、ついに。この話題の本としては日本初では? D.ルイス、吉満昭宏訳、『反事実的条件法』、勁草書房、¥3990. これもつい…
清水義夫、『圏論による論理学 高階論理とトポス』、東京大学出版会、¥2940. 2年ほど前、ご本人から執筆中との話を聞いていましたが、ついに。この話題の本としては日本初では? D.ルイス、吉満昭宏訳、『反事実的条件法』、勁草書房、¥3990. これもつい…