chapters34S5tandAlone.bbl

\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
% \MRhref is called by the amsart/book/proc definition of \MR.
\providecommand{\MRhref}[2]{%
  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\href}[2]{#2}
\begin{thebibliography}{10}

\bibitem{almstrum1996investigating}
Vicki~L Almstrum, \emph{Investigating student difficulties with mathematical
  logic}, Teaching and Learning Formal Methods (1996), 131--160.

\bibitem{bloom1956taxonomy}
Benjamin~S Bloom et~al., \emph{Taxonomy of educational objectives. vol. 1:
  Cognitive domain}, New York: McKay (1956).

\bibitem{booth1997phenomenography}
Shirley Booth, \emph{On phenomenography, learning and teaching}, Higher
  education research \& development \textbf{16} (1997), no.~2, 135--158.

\bibitem{booth2001learning}
\bysame, \emph{Learning computer science and engineering in context}, Computer
  Science Education \textbf{11} (2001), no.~3, 169--188.

\bibitem{boyatzis1998transforming}
Richard~E Boyatzis, \emph{Transforming qualitative information: Thematic
  analysis and code development}, Sage, 1998.

\bibitem{braun2006using}
Virginia Braun and Victoria Clarke, \emph{Using thematic analysis in
  psychology}, Qualitative research in psychology \textbf{3} (2006), no.~2,
  77--101.

\bibitem{cohen1982modified}
David~W Cohen, \emph{A modified moore method for teaching undergraduate
  mathematics}, American Mathematical Monthly (1982), 473--490.

\bibitem{ellenberg2014not}
Jordan Ellenberg, \emph{How not to be wrong: The power of mathematical
  thinking}, Penguin, 2014.

\bibitem{fereday2008demonstrating}
Jennifer Fereday and Eimear Muir-Cochrane, \emph{Demonstrating rigor using
  thematic analysis: A hybrid approach of inductive and deductive coding and
  theme development}, International journal of qualitative methods \textbf{5}
  (2008), no.~1, 80--92.

\bibitem{glaser2008conceptualization}
Barney~G Glaser, \emph{Conceptualization: On theory and theorizing using
  grounded theory}, International Journal of Qualitative Methods \textbf{1}
  (2008), no.~2, 23--38.

\bibitem{glaser1968discovery}
Barney~G Glaser, Anselm~L Strauss, and Elizabeth Strutzel, \emph{The discovery
  of grounded theory; strategies for qualitative research.}, Nursing Research
  \textbf{17} (1968), no.~4, 364.

\bibitem{harel1998students}
Guershon Harel and Larry Sowder, \emph{Students’ proof schemes: Results from
  exploratory studies}, Research in collegiate mathematics education III
  \textbf{7} (1998), 234--282.

\bibitem{jacobs2008developing}
Sally Jacobs and Maria Trigueros, \emph{On developing a rich conception of
  variable}, Making the connection: Research and teaching in undergraduate
  mathematics education (2008), no.~73, 1.

\bibitem{kendall1999axial}
Judy Kendall, \emph{Axial coding and the grounded theory controversy}, Western
  journal of nursing research \textbf{21} (1999), no.~6, 743--757.

\bibitem{marton1997learning}
Ference Marton and Shirley~A Booth, \emph{Learning and awareness}, Routledge,
  1997.

\bibitem{Merriam2002}
Sharan~B. Merriam, \emph{Qualitative research in practice}, Jossey-Bass, 2002.

\bibitem{Merriam2009}
\bysame, \emph{Qualitative research a guide to design and implementation},
  Jossey-Bass, 2009.

\bibitem{merriam2009qualitative}
Sharan~B Merriam, \emph{Qualitative research: A guide to design and
  implementation}, John Wiley \& Sons, 2009.

\bibitem{rosken2007integrating}
Bettina R{\"o}sken and Katrin Rolka, \emph{Integrating intuition: The role of
  concept image and concept definition for students' learning of integral
  calculus}, The Montana Mathematics Enthusiast \textbf{3} (2007), 181--204.

\bibitem{sipser2012introduction}
Michael Sipser, \emph{Introduction to the theory of computation}, Cengage
  Learning, 2012.

\bibitem{smedslund1970circular}
Jan Smedslund, \emph{Circular relation between understanding and logic},
  Scandinavian Journal of Psychology \textbf{11} (1970), no.~1, 217--219.

\bibitem{smith2013categorizing}
Th{\'e}r{\`e}se Smith and Robert McCartney, \emph{Categorizing the school
  experience of entering computing students}, Journal of Computing Sciences in
  Colleges \textbf{28} (2013), no.~3, 78--85.

\bibitem{strauss1990basics}
Anselm~Leonard Strauss, Juliet~M Corbin, et~al., \emph{Basics of qualitative
  research}, vol.~15, Sage Newbury Park, CA, 1990.

\bibitem{tall2008transition}
David Tall, \emph{The transition to formal thinking in mathematics},
  Mathematics Education Research Journal \textbf{20} (2008), no.~2, 5--24.

\bibitem{tall2001symbols}
David Tall, Eddie Gray, Maselan~Bin Ali, Lillie Crowley, Phil DeMarois,
  Mercedes McGowen, Demetra Pitta, Marcia Pinto, Michael Thomas, and Yudariah
  Yusof, \emph{Symbols and the bifurcation between procedural and conceptual
  thinking}, Canadian Journal of Math, Science \& Technology Education
  \textbf{1} (2001), no.~1, 81--104.

\bibitem{weber2004traditional}
Keith Weber, \emph{Traditional instruction in advanced mathematics courses: A
  case study of one professor's lectures and proofs in an introductory real
  analysis course}, The Journal of Mathematical Behavior \textbf{23} (2004),
  no.~2, 115--133.

\bibitem{weber2004semantic}
Keith Weber and Lara Alcock, \emph{Semantic and syntactic proof productions},
  Educational Studies in Mathematics \textbf{56} (2004), no.~2-3, 209--234.

\end{thebibliography}