intuitionistic logic

• 简体: 直觉主义逻辑[信息科技]
• 正體: 直觀邏輯[計算機]
• 正體: 直觀邏輯[電子計算機]