There's a set of 2015 lectures to go with it https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spr

There's a set of 2015 lectures to go with it https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2015/proofs/tp1-1/ https://ocw.mit.edu/courses/electrical-engineering-and-compu... There's also the CMU intro to proofs/reasoning lecture notes here https://infinitedescent.xyz/ https://infinitedescent.xyz/ though you would learn much of this material from the introduction of Apostol's Calculus. The advantage of the CMU lecture notes is the author based it on his findings in evidence based learning IIRC.