いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門
いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門
記号論理学―その成立史の研究(1962年)(東大学術叢書〈第15〉)
一般教養としての現代数学入門 : 集合論・群論・記号論理学 新訂版
論理学 : 思考の法則と科学の方法 <Sekaishiso seminar>
もの・言葉・思考 : 形而上学と論理 <横浜市立大学叢書 8>
公正としての正義の研究 : ロールズの正義概念に対する批判的考察 初版
思想 不揃4冊 1982-85年 ヤケシミ汚痛 逸脱の政治石川准 ロールズ正義論~藤川吉美 書評平井正『ベルリン』野村彰 西田哲学に於ける弁証法中岡成文 バハオーフェンの母権制(上)上山安敏 J1
思想 不揃4冊 1982-85年 ヤケシミ汚痛 逸脱の政治石川准 ロールズ正義論~藤川吉美 書評平井正『ベルリン』野村彰 西田哲学に於ける弁証法中岡成文 バハオーフェンの母権制(上)上山安敏 J1
公正としての正義の研究 ロールズの正義概念に対する批判的考察
理想 1973年12月 No.487 特集 現代アメリカ哲学
ロールズ哲学の全体像―公正な社会の新しい理念― 正義の研究 2 <正義の研究 2>
数理論理学・代数学・数論・確率論 Mathematics of the 19th century. (改訂第2版)
A.N.Kolmogorov, A.P.Yushkevich 編 ; 三宅克哉, 小林昭七, 藤田宏・・・
341p 22cm
978-4-254-11741-7
Symbolismus und symbolische Logik
ジョン・ノイバウアー 著 ; 原研二 訳、ありな書房、1999.10
302p 22cm
475669960X
Logical Labyrinths
Raymond Smullyan 著 ; 高橋昌一郎 監訳 ; 川辺治之 訳、丸善、2013.1
150p 21cm
978-4-621-08572-1