Second-Order Logic and Related Systems : a game-semantical perspective

書誌事項

タイトル別名
  • 数理論理学とその応用
  • スウリ ロンリガク ト ソノ オウヨウ

この論文をさがす

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ