A. Heyting.

Relationships: