「内井惣七」の版間の差分

*『いかにして推理するか、いかにして証明するか 論理パズルによる記号論理学入門』、ミネルヴァ書房、1981年

*『うそとパラドックス――[[クルト・ゲーデル|ゲーデル]]論理学への道』、講談社現代新書、1987年

*『自由の法則・利害の論理』、ミネルヴァ書房、1988年

*『[[シャーロック・ホームズ]]の推理学』、講談社現代新書、1988年

*『真理・証明・計算――論理と機械』、ミネルヴァ書房、1989年

*『パズルとパラドックス』、講談社現代新書、1989年

*『推理と分析』、放送大学教育振興会、1992年

*『科学哲学入門――科学の方法・科学の目的』、世界思想社、1995年

*『進化論と倫理』、世界思想社、1996年

*『科学の倫理学』、丸善、 2002年

*『推理と論理──シャーロック・ホームズと[[ルイス・キャロル]]』、ミネルヴァ書房、2004年

*『[[アルベルト・アインシュタイン|アインシュタイン]]の思考をたどる──時空の哲学入門』、ミネルヴァ書房、2004年

*『空間の謎・時間の謎―宇宙の始まりに迫る物理学と哲学』、中公新書、2006年