プラヴィッツの完全性予想について Investigation of Prawitz's completeness conjecture in phase semantic framework

Search this Article

Author(s)

Journal

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

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

    日本大学商学部

Codes

  • NII Article ID (NAID)
    40021302106
  • NII NACSIS-CAT ID (NCID)
    AN10490537
  • Text Lang
    ENG
  • Journal Type
    大学紀要
  • ISSN
    1341-6588
  • NDL Article ID
    028477294
  • NDL Call No.
    Z22-B146
  • Data Source
    NDL 
Page Top