SMS dit: Storia della logica in occidente.