publication venue for Is Mathematical Logic Really Necessary in Teaching Mathematical Proofs?. 7:99-122. 2019