Category:Definitions/Named Definitions/Heyting
Jump to navigation
Jump to search
This category contains definitions named for Arend Heyting.
Dutch mathematician and logician of the Intuitionist school.
Pages in category "Definitions/Named Definitions/Heyting"
This category contains only the following page.