Introduction to Formal Logic, Daniel J. Velleman, How to Prove It: A Structured Approach, Joel David Hamkins, Proof and the Art of Mathematics* (MIT Press, 2020) 수학적 배경지식으로 이런거 읽어보라고 하는데, 제가 코어논리학이랑 논리적 사고의 기초는 읽은 상태에서 이것들을 읽으면 제게 어떤 도움이 되나요? 이 책들이 대충 어떤 내용인가요?