集合論　ゲーデルの世界 : 完全性定理と不完全性定理　数学はなぜ哲学の問題になるのか　位相入門　位相のこころ　現代集合論の探検　不完全性定理　理性の限界 : 不可能性・不確定性・不完全性　集合・位相に親しむ　はじめよう位相空間　集合とはなにか : はじめて学ぶ人のために　集合と位相　現代集合論入門　解いてみよう位相空間　数学の基礎 : 集合・数・位相　集合・位相入門　はじめての集合と位相　不完全性定理とはなにか : ゲーデルとチューリングの考えたこと　位相への30講　集合と位相空間　ゲーデルの哲学 : 不完全性定理と神の存在論　なっとくする集合・位相　不完全性定理 : 数学的体系のあゆみ　集合論入門　集合への30講　距離空間と位相構造　今度こそわかるゲーデル不完全性定理= G?del's incompleteness theorems　集合・写像・論理 : 数学の基本を学ぶ　ゲーデルの定理 : 利用と誤用の不完全ガイド　G?del, Escher, Bach : an eternal golden braid　記号論理学　自然言語・意味論・論理　数学基礎論入門　現代数理論理学序説　証明論入門　ブール代数とその応用　スマリヤンの無限の論理パズル : ゲーデルとカントールをめぐる難問奇問　PとNP : 計算量の根本問題　「P≠NP」問題 : 現代数学の超難問　論理・集合・数学語　数理論理学の基礎・基本　述語論理・入門 : 基礎からプログラムの理論へ　公理と証明 : 証明論への招待　ロジックの世界 : 論理学の哲人たちがあなたの思考を変える　なっとくする数学の証明　スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論　圏論の技法 : アーベル圏と三角圏でのホモロジー代数　圏論の歩き方 = Category theory trotters　数学の基礎体力をつけるためのろんりの練習帳　論理学をつくる　論理と集合から始める数学の基礎　数理論理学 = Mathematical logic　層・圏・トポス : 現代的集合像を求めて　層のコホモロジー　圏論の基礎　スマリヤン記号論理学 : 一般化と記号化　スマリヤン数理論理学 : 述語論理と完全性定理　スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ　記号論理入門　連接層の導来圏に関わる諸問題　圏論による論理学 : 高階論理とトポス　数理論理の手法 : 証明の発見と背理法の除去　数学の言葉と論理　スマリヤン先生のブール代数入門 : 嘘つきパズル・パラドックス・論理の花咲く庭園　圏論　現代のブール代数