what sense is intuitionistic logic constructive (1941)