이병덕 (2019) 코어 논리학: 논리적 추론과 증명 테크닉