世界は圏論でできている [単行本]

活躍する圏論―具体例からのアプローチ [単行本]

圏論的量子力学入門 [単行本]

発想・根気・思考力で挑むディック・ヘスの圧倒的パズルワールド [単行本]

みんなの圏論―演習中心アプローチ [単行本]

ボロバシュ 数学の技法―メンフィスでコーヒーを飲みながら [単行本]

ENIAC―現代計算技術のフロンティア [単行本]

K理論 [単行本]

100人の囚人と1個の電球―知識と推論にまつわる論理パズル [単行本]

圏論的量子力学 [単行本]

群論の味わい―置換群で解き明かすルービックキューブと15パズル [単行本]

スマリヤン不完全性定理 改訳版 [単行本]

数学文化　第39号－創刊20周年記念 [単行本]

数学で織りなすカードマジックのからくり [単行本]

シングマスターの千思千考パズルワールド [単行本]

アラビアン・ナイトのチェスミステリー―スマリヤンの逆向き解析問題集 [単行本]

スマリヤンの数理論理学入門 上 [単行本]

スマリヤン先生のブール代数入門―嘘つきパズル・パラドックス・論理の花咲く庭園 [単行本]

スマリヤンのゲーデル・パズル―論理パズルから不完全性定理へ [単行本]

スマリヤン 数理論理学講義〈下巻〉不完全性定理の先へ [単行本]

組合せ数学(岩波科学ライブラリー〈280〉) [全集叢書]

数学そぞろ歩き―学者だけに任せておくには楽しすぎる数学余話 [単行本]

圏論による量子計算のモデルと論理 [単行本]

量子プログラミングの基礎 [単行本]

対称性―不変性の表現(サイエンス・パレット〈035〉) [全集叢書]

逆数学―定理から公理を「証明」する [単行本]

哲学の奇妙な書棚-パズル，パラドックス，なぞなぞ，へんてこ話 [単行本]

迷路の中のウシ(数学探検コレクション) [単行本]

アーサー王、消えた愛犬を探して－スマリヤン先生のパズルパーティー [単行本]

h同境定理 [単行本]

Aha!ひらめきの幾何学―アルキメデスも驚くマミコンの定理 [単行本]