A task for transitioning students from understanding how order of quantification affects mathematical logic to formally proving multiply quantified statements.
Vroom, K., & Alzaga Elizondo, T. (2022). Students’ Thinking about the Structure of Constructive Existence Proofs. International Journal of Research in Undergraduate Mathematics Education, 1-23.
