논리적추론과증명이
2017년 1학기 수업교재였는데
3/4 정도 보고 끝났습니다
(13장 동일성부터 안봄)

코어논리학을 새로 사서 볼지
논리적추론과증명을 다시 꺼내 볼지
벤슨메이츠 기호논리학을 사서 볼지
고민중이에요