ion of America), http://www.maa.org/features/mathchat/mathchat_4_5_01.html, ප්‍රතිෂ්ඨාපනය 22 August 2009 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 Salzmann, H.; Grundhöfer, T.; Hähl, H.; Löwen, R. (2007), The Classical Fields: Structural Features of the Real and Rational Numbers, Cambridge University Press, ISBN 0-521-86516-6 Siegel, Robert (19 November 1999), "A