ハイティング代数
#Fleeting_Notes
ハイティング代数(heyting algebra)
=
直観主義論理
確認用
Q. ハイティング代数
調査用
Google.icon
ハイティング代数(日)
Google.icon
heyting algebra(英)
Wikipedia.icon
ハイティング代数 - Wikipedia(日)
ハイティング代数(検索) - Wikipedia(日)
Wikipedia.icon
heyting algebra - Wikipedia(英)
Heyting algebra(検索) - Wikipedia(英)