수, 도형, 확률, 양자논리학에서의 topos - 김호일 (경북대학교출판부, 2012)