Category:Named Theorems/Heyting

From ProofWiki
Jump to navigation Jump to search

This category contains results named for Arend Heyting.

Dutch mathematician and logician of the Intuitionist school.

This category currently contains no pages or media.

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Named_Theorems/Heyting&oldid=205478"