t_wの輪郭
直観
主義
直観主義
2023/9/27 15:02:00
直観主義論理
直観論理
直観主義
論理
直観主義論理
2023/9/27 14:49:00
ハイティング代数
双対直観論理
直観主義的シークエント
『プログラミング言語論 第9回 論理型プログラミング言語 担当：犬塚』
直観主義論理は計算と相性が良い