수학자, 컴퓨터를 만들다 (마틴 데이비스, 2005) 독후감 - 컴퓨터를 만든 논리학자

1 minute read