繁體版 English Francais
登录 注册

bhk释义的英文

发音:  
"bhk释义"怎么读

英文翻译手机手机版

  • bhk interpretation
  • brouwer-heyting-kolmogorov interpretation

其他语种

百科解释

在数理逻辑中,直觉主义逻辑的布劳威尔-海廷-柯尔莫哥洛夫释义或BHK释义是由鲁伊兹?布劳威尔、阿兰德?海廷和独立的由安德雷?柯尔莫哥洛夫提出的。它有时也叫做可实现性释义,因为有关于斯蒂芬?科尔?克莱尼的可实现性理论。
详细百科解释
bhk释义的英文翻译,bhk释义英文怎么说,怎么用英语翻译bhk释义,bhk释义的英文意思,bhk釋義的英文bhk释义 meaning in Englishbhk釋義的英文bhk释义怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。
英语→汉语 汉语→英语