武蔵大学OPAC
ログイン
目録検索 ▼
検索トップへ
雑誌タイトルリスト
新着案内
貸出ランキング
利用者サービス ▼
利用状況の確認
ブックマーク
お気に入り検索
≡
書誌詳細
武蔵大学図書館
検索結果一覧へ戻る
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II
edited by M.M. Richter ... [et al.] ; : gw, : us. -- Springer-Verlag, 1984. -- (Lecture notes in mathematics ; 1104). <BB02091814>
便利機能:
詳細情報を見る
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II
edited by M.M. Richter ... [et al.] ; : gw, : us. -- Springer-Verlag, 1984. -- (Lecture notes in mathematics ; 1104). <BB02091814>
便利機能:
詳細情報を見る
他の巻号選択
巻号を選択すると、画面が選択した巻号の情報に切り替わります。
: gw
: us
このウインドウを閉じる
所蔵一覧
1件~1件(全1件)
ナンバーをクリックすると所蔵詳細をみることができます。
10件
20件
50件
100件
No.
巻号
所蔵館
配置場所
請求記号
資料ID
禁帯出区分
状態
返却予定日
予約
0001
図書館
洋プラ下層
410.8//F9
0120845714
可
0件
No.
0001
巻号
所蔵館
図書館
配置場所
洋プラ下層
請求記号
410.8//F9
資料ID
0120845714
禁帯出区分
可
状態
返却予定日
予約
0件
このページのTOPへ
書誌詳細
タイトル/著者名等
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / edited by M.M. Richter ... [et al.]
出版事項
Berlin ; Tokyo : Springer-Verlag , 1984
形態事項
viii, 475 p. ; 25 cm
巻号情報
巻次等
: gw
ISBN
354013901X
巻号情報
巻次等
: us
ISBN
038713901X
シリーズ名等
Lecture notes in mathematics <BB07000256> 1104//a
その他のタイトル
異なりアクセスタイトル:Models and sets
注記
"Ein weiterer Band der Proceedings erscheint unter dem Titel "Models and Sets" ebenfalls in den Lencture Notes in Mathematics ... "
注記
Includes bibliographies
NCID
BA03966043
本文言語
英語
著者標目
*Logic Colloquium <AU00005153> (1983 : Aachen, Germany)
著者標目
Müller, G. H. (Gert Heinz), 1923- <AU00009645>
著者標目
Richter, Michael M., 1938- <AU00054015>
分類
LCC:QA3
分類
LCC:QA9.A1
分類
DC19:510 s
分類
DC19:511.3
分類
数学 NDC8:410.8
件名
Logic, Symbolic and mathematical -- Congresses
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ
関連情報<<
関連情報
関連資料
親書誌をみる
Lecture notes in mathematics
著者からさがす
*Logic Colloquium
Müller, G. H. (Gert Heinz), 1923-
Richter, Michael M., 1938-
分類からさがす
LCC:QA3
LCC:QA9.A1
DC19:510 s
DC19:511.3
数学 NDC8:410.8
件名からさがす
Logic, Symbolic and mathematical -- Congresses
他の検索サイトで探す
CiNii
NDLSearch
他大学資料確認
他大学(NII):同一条件検索
他大学(NII):同一書誌検索
この書誌のQRコード