| ゲーデル 不完全性定理
著者：林晋 / 八杉満利子 出版社：岩波書店 ( 2006年09月15日頃 ) 価格：1,078円 ISBN13：9784003394410 | |
| 復刊 証明論入門
著者：竹内外史 / 八杉満利子 出版社：共立出版 ( 2010年06月10日頃 ) 価格：3,850円 ISBN13：9784320019355 | |
| お話・数学基礎論
著者：八杉満利子 / 林晋 出版社：講談社 ( 2002年06月20日頃 ) 価格：990円 ISBN13：9784062573740 | |
| 証明論入門
著者：竹内外史 / 八杉満利子 出版社：共立出版 ( 1988年02月01日頃 ) 価格：3,080円 ISBN13：9784320014060 | |
| 情報系の数学入門
著者：林晋 / 八杉満利子 出版社：オーム社 ( 1993年09月 ) 価格：2,530円 ISBN13：9784274129483 | |
| 論理パズルとパズルの論理
著者：八杉満利子 / 林晋 出版社：遊星社 ( 1998年07月 ) 価格：1,650円 ISBN13：9784795268876 |