1. Definitions: Dealing with categories mathematically;Alcock;For the Learning of Mathematics,2002
2. Semantic and game-theoretical insight into argumentation and proof;Barrier,2009
3. Symbolic logic;Copi,1954
4. Characterizing introduction to proof courses: A survey of US R1 and R2 course syllabi;David;International Journal of Mathematical Education in Science and Technology,2020
5. On the importance of set-based meanings for categories and connectives in mathematical logic;Dawkins;International Journal for Research in Undergraduate Mathematics Education,2017