기초논리학 공부용으로

두뇌보완계획 vs 논리적 추론과 증명

어떤걸 추천하시나요?