Completeness of Second Order Propositional Intuitionistic Logics

Details 詳細情報について

• CRID

  1520854806183812352

• NII Article ID

  40021198369

• ISSN

  13422812

• NDL BIB ID

  028186032

• Web Site

  http://id.ndl.go.jp/bib/028186032

  https://ndlsearch.ndl.go.jp/books/R000000004-I028186032

• Text Lang

  en

• NDL Source Classification

  • ZM13(科学技術--科学技術一般--データ処理・計算機)

• Data Source

  • NDL Search
  • CiNii Articles