Completeness of Second Order Propositional Intuitionistic Logics

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

• CRID

  1520854806183812352

• NII論文ID

  40021198369

• ISSN

  13422812

• NDL書誌ID

  028186032

• Web Site

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

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

• 本文言語コード

  en

• NDL 雑誌分類

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

• データソース種別

  • NDLサーチ
  • CiNii Articles