Hermann Weyl 's interest in intuitionistic logic and impredicativity appears to have resulted from contacts with Husserl .
Hermann Weyl 's interest in intuitionistic logic and impredicativity appears to have resulted from his reading of Husserl .