کتاب های به زبان ژاپنی, اسپانیایی
数学における証明と真理: 様相論理と数学基礎論
佐野勝彦,倉橋太志,薄葉季路,黒川英徳,菊池誠, 2016
First 1000 Words: Japanese
Heather Amery, 2002
現代思想 2017年6月臨時増刊号 総特集◎ゲーデル : シリーズ現代思想の数学者たち
栗原一樹(編), 2017
数学における証明と真理 : 様相論理と数学基礎論
佐野勝彦, 倉橋太志, 薄葉季路, 2016
層・圏・トポス-現代的集合像を求めて
竹内外史, 1978
計算とは何か
新井敏康, 新井紀子, 2009
証明論と計算量
竹内外史, 1995
でる順パス単英検1級[文部科学省後援]
旺文社, 2012
フランス語の基礎をきちんと固める! 解いて力がつく久松式ドリル
久松健一, 2017
フランス語動詞活用ドリル虎の穴
岩根久, 2018
フランス語動詞宝典308[仏検対応] 初・中級編
久松健一, 2017
フランス語動詞宝典466[仏検対応] 中・上級編
久松健一, 2017
中級フランス語 あらわす文法 ~ 一歩先のフランス語へ
東郷雄二, 2011
中級フランス語 つたえる文法 ~ 一歩先のフランス語へ
曽我祐典, 2011
中級フランス語 よみとく文法 ~ 一歩先のフランス語へ
西村牧夫, 2011
中級フランス語 時制の謎を解く
井元秀剛, 2017
連続体力学の話法 : 流体力学, 材料力学の前に
清水昭比古, 2012
ベクトル・テンソルと物理学の基礎
兼古昇, 山本将史, 2016
線形代数と正多面体
小林正典, 2012
パズルゲームで楽しむ写像類群入門
阿原一志, 逆井卓也, 2013
代数的組合せ論入門
坂内英一, 坂内悦子, 伊藤達郎, 2016
代数群と軌道
太田琢也, 西山享, 2015
格子からみえる数学
枡田幹也, 福川由貴子, 2013
