GLIVENKO'S THOREM FOR KLEENE LOGIC

この論文をさがす

著者

    • KONDO Michiro.
    • DEPARTMENT OF COMPUTER AND INFORMATION SCIENCES, SHIMANE UNIVERSITY

収録刊行物

  • Mathematica japonicae

    Mathematica japonicae 43(1), 117-119, 1996-01-01

被引用文献:  1件中 1-1件 を表示

各種コード

  • NII論文ID(NAID)
    10008783192
  • NII書誌ID(NCID)
    AA00295726
  • 本文言語コード
    ENG
  • 資料種別
    ART
  • ISSN
    00255513
  • データ提供元
    CJP書誌  CJP引用 
ページトップへ