논리의 정석 - 논리학, 비판적 사고, 명제, 추론, 귀납법, 연역법, 모순, 참과 거짓, 조건문, 진리표, 논리적 귀결, 정합성, 증명, 비약, 함의, 논증, 사고의 오류, 철학, 언어의 의미, 수학적 논리, 집합론, 알고리즘,