미적선대 배우고 넘어가는데 해석학보니까 증명하는게 너무 어렵습니다..

이제서야 귀류법 이런게 뭔지 허겁지겁 알아보고 논리가 너무 헷갈리는데 이런것 위주로 정리된 책 있을까요?

원서도 좋습니다.