Investigation of Prawitz's completeness conjecture in phase semantic framework

• Takemura Ryo

書誌事項

タイトル別名

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

収録刊行物

• 総合文化研究 = Journal of humanities and sciences, Nihon University

  総合文化研究 = Journal of humanities and sciences, Nihon University 23 (1), 1-19, 2017-06

  東京 : 日本大学商学部

詳細情報

• CRID: 1520572358948848384
• NII論文ID: 40021302106
• NII書誌ID: AN10490537
• ISSN: 13416588
• NDL書誌ID: 028477294
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I028477294
• 本文言語コード: en
• NDL 雑誌分類:
  • ZV1(一般学術誌--一般学術誌・大学紀要)
• データソース種別:
  • NDL
  • CiNii Articles