Heyting

发音

/ˈheɪtɪŋ/

释义与例句

name
  1. 1.

    A surname from Dutch.

相关短语

Heyting algebra Heyting algebras

词源

Borrowing from Dutch Heyting.

来源：wiktionary