講演・口頭発表等

国際会議
2001年8月

Notes on the game semantics of Goedel's T

Logic Colloquium 2001
  • 白旗 優

記述言語
英語
会議種別
口頭発表(一般)
主催者
European Association of Symbolic Logic
開催地
Wien