intuitionistic logic

维基词典，自由的多语言词典
  • 简体: 直觉主义逻辑[信息科技]
  • 正體: 直觀邏輯[計算機]
  • 正體: 直觀邏輯[電子計算機]
取自“https://zh.wiktionary.org/w/index.php?title=intuitionistic_logic&oldid=5517837”