文献
J-GLOBAL ID:201102271984905096 整理番号:11A0275595
いくつかの厳密含意論理学に対する順次微積分学
Sequent calculi for some strict implication logics
出版者サイト
複写サービスで全文入手
高度な検索・分析はJDreamⅢで
著者 (2件):
ISHIGAKI R
ISHIGAKI R について
名寄せID(JGPN) 201550000048939778 ですべてを検索
「ISHIGAKI R」ですべてを検索
,
KASHIA R
KASHIA R について
名寄せID(JGPN) 201550000045250728 ですべてを検索
「KASHIA R」ですべてを検索
資料名:
LOGIC JOURNAL OF THE IGPL
LOGIC JOURNAL OF THE IGPL について
JST資料番号 O4438A ですべてを検索
ISSN,ISBN,CODENですべてを検索
巻:
16
号:
2
ページ:
155-174
発行年:
2008年
JST資料番号:
O4438A
ISSN:
1367-0751
資料種別:
逐次刊行物 (A)
発行国:
その他 (ZZZ)
言語:
英語 (EN)
タイトルに関連する用語 (1件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
論理学
論理学 について
「論理学」ですべてを検索
この用語の用語情報を見る
前のページに戻る
TOP
BOTTOM