ゲーデルのダイアレクティカ解釈
#Fleeting_Notes
ゲーデルのダイアレクティカ解釈(Gödel's dialectica interpretation)
ゲーデルのダイアレクティカ解釈と直観主義算術
確認用
Q. ゲーデルのダイアレクティカ解釈
調査用
Google.icon
ゲーデルのダイアレクティカ解釈(日)
Google.icon
Gödel's dialectica interpretation(英)
Wikipedia.icon
ゲーデルのダイアレクティカ解釈 - Wikipedia(日)
ゲーデルのダイアレクティカ解釈(検索) - Wikipedia(日)
Wikipedia.icon
Gödel's dialectica interpretation - Wikipedia(英)
Gödel's dialectica interpretation(検索) - Wikipedia(英)