References
- Association for Learning Technology. Learner acceptance of on-line learning and e–learning. 2010. http://wiki.alt.ac.uk/index.php/Learner_acceptance_of_on-line_learning_and_e-learning.
- Barker-Plummer D., Barwise J., Etchemendy J. Tarski’s World. University of Chicago Press: Chicago, 2008
- Barwise J., Etchemendy J. The language of first-order logic: Including the IBM-compatible Windows version of Tarski’s World 4.0. Cambridge University Press: Cambridge, 1993
- Barwise J., Etchemendy J. Computers, visualization, and the nature of reasoning. The digital phoenix: How computers are changing philosophy. Bynum T.W., Moor J.H. Blackwell: London, 1998; 93–116.
- Barwise J., Etchemendy J. Language, proof and logic. CSLI Publications. Distributed by University of Chicago Press: Stanford, 2003
- Bass H. Mathematics, mathematicians, and mathematics education. Bulletin of the American Mathenatics Society 2005; 42(4): 417–30.
- Boolos G. Review of Jon Barwise and John Etchemendy, Turing’s World and Tarski’s World. Journal of Symbolic Logic 1990; 55: 370–1.
- Chevallard Y. La transposition didactique – Du savoir savant au savoir enseigné. La Pensée sauvage: Grenoble, 1985
- Comte A. Catéchisme positivist. 1852
- Goldson D., Reeds S. Using programs to teach logic to computer scientists. Notices of the American Mathematics Society 1993; 40(2): 143–8.
- Hall G. Digitize this book! The politics of new media, or why we need open access now. University of Minnesota Press: Minneapolis, 2008
- Hefferon J. Linear algebra. 2010. ftp://joshua.smcvt.edu/pub/hefferon/book/book.pdf.
- Hodges W. Review of J. Barwise and J. Etchemendy, Tarski’s World and Turing’s World. Computerised Logic Teaching Bulletin 1989; 2(1): 36–50.
- Knuth D.E. TeX and Metafont: New directions in typesetting. Digital Press, and American Mathematical Society: Stanford, 1979
- Knuth D.E. The TeXbook. Addison-Wesley: Reading MA, 1986a
- Knuth D.E. TeX: The program. Addison-Wesley: Reading MA, 1986b
- Knuth D.E. 3:16 Bible texts illuminated. A-R Editions: Middleton WI, 1990
- Knuth D.E. Digital typography. Reissue ed.. Cambridge University Press: Cambridge, 1999
- Lamport L. Latex – A document preparation system – User’s guide and reference manual. Addison-Wesley: Reading MA, 1985
- Lawrence R. Maths = typography?. TUGboat 2003; 24(2): 165–8.
- London Mathematical Society. Teaching position statement on mathematics degrees, their teaching and assessment. 2010. http://www.lms.ac.uk/policy/2010/teaching_position_statement.pdf.
- Morison E. First principles of typography. Cambridge University Press: Cambridge, 1951
- National Union of Students. Student perspectives on technology – demand, perceptions and training needs. Report to HEFCE by NUS. 2010. http://www.hefce.ac.uk/pubs/rdreports/2010/rd18_10/rd18_10.pdf.
- Neubüser J. An invitation to computational group theory. Invited talk at the conference ‘Groups St Andrews’ at Galway 1993 1993. http://www.gap-system.org/Doc/Talks/cgt.dvi and PostScript: http://www.gap-system.org/Doc/Talks/cgt.ps.
- Sangwin C. Assessing elementary algebra with STACK. 2006. http://www.open.ac.uk/cetl-workspace/cetlcontent/documents/4607d31d634fd.pdf.
- The geometric supposer: What is it a case of?. Schwartz J.L., Yerushalmy M., Wilson B. Lawrence Erlbaum Associates: Hillsdale NJ, 1993
- Shin S.-J. Heterogeneous reasoning and its logic. The Bulletin of Symbolic Logic 2004; 10(1): 86–106.