このアイテムのアクセス数: 142

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1021-10.pdf1.08 MBAdobe PDF見る/開く
タイトル: EQUIVALENCES BETWEEN ILLATIVE COMBINATORY LOGICS AND PURE TYPE SYSTEMS
著者: Bunder, M.W.
Dekkers, W.J.M.
Geuvers, J.H.
発行日: Dec-1997
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1021
開始ページ: 119
終了ページ: 135
URI: http://hdl.handle.net/2433/61678
MR Number: 1643424
出現コレクション:1021 sequent calculus と Kripke semanticsに基づく非古典論理学の研究

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。