There were others interested in intuitionist logic working on similar problems of formalisation at the same time as Heyting.
May mga iba na interesado sa intuitionist lohika nagtatrabaho sa mga katulad na problema ng formalisation sa parehong panahon bilang Heyting.