Chapter 1

논리와 증명

Logic and Proofs

명제 논리, 술어 논리, 증명 기법

컴퓨터공학 강의 노트 | Computer Science Lecture Notes