Investigation of Prawitz's completeness conjecture in phase semantic framework

Bibliographic Information

Other Title
  • プラヴィッツの完全性予想について
  • プラヴィッツ ノ カンゼンセイ ヨソウ ニ ツイテ

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top