洋書
- Gaisi Takeuti Proof Theory, Second Edition, Dover Publications, Dover Books on Mathematics Series, 2013 (originally published in 1987, the first edition published in 1975)
- Gregory H. Moore Zermelo's Axiom of Choice: Its Origins, Development, and Influence, with a New Preface and an Expanded Bibliography, Dover Publications, Dover Books on Mathematics Series, 2013 (originally published in 1982)
英語論文
- Sébastien Gandon and Brice Halimi ''Introduction: Logicism Today,'' in: Philosophia Mathematica (III), Special Issue: Logicism Today, vol. 21, no. 2, 2013
- Bob Hale ''Properties and the Interpretation of Second-Order Logic,'' in: Philosophia Mathematica (III), Special Issue: Logicism Today, vol. 21, no. 2, 2013
- Mark Wilson ''Enlarging One's Stall or How Did All of These Sets Get in Here?,'' in: Philosophia Mathematica (III), Special Issue: Logicism Today, vol. 21, no. 2, 2013
和書
- 森毅 『現代の古典解析 微積分基礎課程』、ちくま学芸文庫、筑摩書房、2006年 (初版1970年、新装版1985年)
- 牧野紀之 『関口ドイツ文法』、未知谷、2013年
- ジャン・ヴァン・エジュノール (Jean van Heijenoort) 『トロツキーとの七年間 プリンキポからコヨアカンまで』、小笠原豊樹訳、草思社、1984年 (古書)
森先生の本には、ε-δ 論法が割と解説されています。
『トロツキー』は以前に学校で手に取って眺めたことがある。古書店でも見かけたことがある。ただ、logic の話は一切出てきていないようだったので、購入しなかった。しかし、その後、何となく気になっていた。そんな折に古書店で再び見かけたので購入しておきました。
邦語論文など