講演・口頭発表等

国際会議
2001年8月

Notes on the game semantics of Goedel's T

Logic Colloquium 2001
  • H白旗 優
    • ,
  • HR
開催年月日
2001年8月 - 2001年8月
記述言語
英語
会議種別
口頭発表（一般）
主催者
European Association of Symbolic Logic
開催地
Wien
講演・口頭発表等リストへ