文献
J-GLOBAL ID:201102271984905096   整理番号:11A0275595

いくつかの厳密含意論理学に対する順次微積分学

Sequent calculi for some strict implication logics
著者 (2件):
資料名:
巻: 16  号:ページ: 155-174  発行年: 2008年 
JST資料番号: O4438A  ISSN: 1367-0751  資料種別: 逐次刊行物 (A)
発行国: その他 (ZZZ)  言語: 英語 (EN)
タイトルに関連する用語 (1件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る