Assertion: propositional logic | /r/HasProperty | developed by heyting
Facets:
Source sentences:
text: Intuitionistic logic was developed by Heyting to study Brouwer's program of intuitionism, in which Brouwer himself avoided formalization.