内井惣七
『いかにして推理するかいかにして証明するか-論理パズルによる記号論理学入門』ミネルヴァ書房、1981年。ISBN 978-4623013401。
『うそとパラドックス-ゲーデル論理学への道』講談社〈講談社現代新書〉、1987年。ISBN 978-4061488816。
『自由の法則・利害の論理』ミネルヴァ書房、1988年。ISBN 978-4623018161。
『シャーロック・ホームズの推理学』講談社〈講談社現代新書〉、1988年。ISBN 978-4061489226。
『真理・証明・計算-論理と機械』ミネルヴァ書房、1989年。ISBN 978-4623018840。
『パズルとパラドックス』講談社〈講談社現代新書〉、1989年。ISBN 978-4061489707。
『推理と分析』放送大学教育振興会〈放送大学教材〉、1992年。ISBN 978-4595213212。
『科学哲学入門-科学の方法・科学の目的』世界思想社〈SEKAISHISO SEMINAR〉、1995年。