ゼロの偶奇性
org/features/mathchat/mathchat_4_5_01.html 2009年8月22日閲覧。
Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus (2002), Isabelle/Hol: A Proof Assistant for Higher-Order Logic, Springer, ISBN 3-540-43376-7
Nuerk, Hans-Christoph; Iversen, Wiebke; Willmes, Klaus (July 2004), “Notational modulation of the SNARC and the MARC (linguistic markedness of response codes) effect”, The Quarterly Journal of Experimental Psychology A 57 (5): 835–863, doi:10.1080/02724980343000512
Partee, Barbara Hall (1978), Fundamentals of Mathematics for Linguistics, Dordrecht: D. Reidel, ISBN 90-277-0809-6
Penner, Robert C. (1999), Discrete Mathematics: Proof Techniques and Mathematical Structures, River Edje: World Scientific, ISBN 981-02-4088-0