論文

2001年6月

Notes on the game semantics of Goedel's T

数理解析研究所講究録
  • 白旗 優

1217
-
開始ページ
121-142
終了ページ
記述言語
英語
掲載種別
研究論文(大学,研究機関等紀要)
出版者・発行元
京都大学数理解析研究所

ゲーデルが算術の関数解釈で使ったシステムTにPCFのゲーム意味論による解釈をあたえた。

エクスポート
BibTeX RIS