Han har författat en lärobok ilogiken