*証明論入門 竹内外史・八杉満利子 共立出版
LKのカット除去証明、自然数論の無矛盾性、2階論理の無矛盾性、ゲーデルの解釈、有限の立場
*情報系数学入門 林晋・八杉満利子 オーム社
集合・写像・関係・いろいろな帰納法・計算の仕組み・命題論理・述語論理入門
計算機科学に必要な知識への導入。記法と例題に主点をおいている。
*論理パズルとパズルの論理 八杉満利子・林晋 遊星社
楽しい論理パズルを解きながら、命題論理を自然に学ぶ。
論理に弱い日本人から脱却しよう。若い読者に期待している。
* 集合論のパラドックス・うそつきパラドックス 八杉満利子著
(パラドックス! 林晋編著 2−25)日本評論社
いろいろなパラドックスを大勢の著者たちが面白く書いている。
集合論のパラドックスは天使の作る究極の箱のパラドックス、うそつきパラドックスはうそつきジェー氏のパラドックス。
*体系からの脱出:証明論による解析, 八杉&小田、科学基礎論研究 (2001) vol.28, No.2,33-38
*解析学におけるアルゴリズム-Pour-El理論と BSS理論(電気学会研究会97)
*関数空間と計算可能性(実解析シンポジウム・ 香川大学98)
*Classical and Constructive
Propositional Subsystems of NDK(計算機科学研究所所報)中田・實藤・八杉
*解析学における計算可能性構造(「数学」1998年)八杉・鷲原
LISPによる命題論理とWangのアルゴリズム (95年度特研)