ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
> Proof theory of modal logic
書誌詳細
NCID
BA2871845X
タイトル
Proof theory of modal logic / edited by Heinrich Wansing
出版者
Dordrecht : Kluwer , c1996
形態
x, 317 p. : ill. ; 25 cm
注記
Proceedings of a workshop held at the University of Hamburg, Nov. 19-20, 1993
Includes index
シリーズ名
Applied logic series
; v. 2
分類
LCC:QA9.46
DC20:511.3
件名
LCSH:Modallogic -- Congresses
LCSH:Prooftheory -- Congresses
著者情報
Wansing, Heinrich
和洋区分
洋
標題言語
英語
本文言語
英語
出版国
オランダ
ISBN
0792341201
番号
LCCN : 96009019
WebCatPlus を見る
CiNii Books を見る
所蔵一覧
巻号
予約
予約人数
所在
請求記号
資料ID
状態
備考
1
0
教養共4F哲学
116:W
020011134
研究室
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성