1. data.gov.tw
  2. 國家教育研究院-數學學術名詞
  3. 56649617
column value
英文名稱 intuitionist logic ; intuitionistic logic
中文名稱 直觀主義邏輯