【分冊】基礎論(新初等数学講座 第6巻現代の数学第6分冊) <新初等数学講座>
集合論入門 <ちくま学芸文庫 Math & Science セ3-1>
確率論入門 <ちくま学芸文庫> <ちくま学芸文庫 Math & Science セ3-2>
「公理と証明」 証明論への招待 <ちくま学芸文庫 Math & Science イ37-2>
公理と証明 : 証明論への招待 <ちくま学芸文庫 Math & Science イ37-2>
数学序説 <ちくま学芸文庫 Math & Science ヨ13-1>