일반논리학+수리논리 같이 다루는 책 업슬까요?

없으면 그냥 수리논리 책 추천좀

증명법도 같이 다루면 좋겟슴