کتاب های به زبان انگلیسی، ژاپنی
グラスマン代数Ⅰ(点代数・ベクトル)
松井良樹, 1972
低次元トポロジー問題集
北野晃朗, 合田洋, 1996
齋藤利弥先生遺稿 [Traité d’Analyse]
Charles Émile Picard (著),齋藤利弥訳(未完), 2002
日本近代史を学ぶための文語文入門
古田島洋介
日本近代史を学ぶための文語文入門―漢文訓読体の地平
Kodajima, Yohsuke / 古田島洋介, 2013
現代思想 2017年6月臨時増刊号 総特集◎ゲーデル
クルト・ゲーデル Kurt Gödel et al., 2017
層・圏・トポス——現代的集合像を求めて
竹内外史, 2010
証明論と計算量
竹内外史, 1995
計算とは何か
新井敏康, 新井紀子, 2009
数学における証明と真理: 様相論理と数学基礎論
佐野勝彦,倉橋太志,薄葉季路,黒川英徳,菊池誠, 2016
現代思想 2017年6月臨時増刊号 総特集◎ゲーデル : シリーズ現代思想の数学者たち
栗原一樹(編), 2017
数学における証明と真理 : 様相論理と数学基礎論
佐野勝彦, 倉橋太志, 薄葉季路, 2016
層・圏・トポス-現代的集合像を求めて
竹内外史, 1978
計算とは何か
新井敏康, 新井紀子, 2009
証明論と計算量
竹内外史, 1995
でる順パス単英検1級[文部科学省後援]
旺文社, 2012
フランス語の基礎をきちんと固める! 解いて力がつく久松式ドリル
久松健一, 2017
フランス語動詞活用ドリル虎の穴
岩根久, 2018
フランス語動詞宝典308[仏検対応] 初・中級編
久松健一, 2017
フランス語動詞宝典466[仏検対応] 中・上級編
久松健一, 2017
中級フランス語 あらわす文法 ~ 一歩先のフランス語へ
東郷雄二, 2011
中級フランス語 つたえる文法 ~ 一歩先のフランス語へ
曽我祐典, 2011
中級フランス語 よみとく文法 ~ 一歩先のフランス語へ
西村牧夫, 2011
