武蔵大学OPAC
ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス 利用者サービス ▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索

武蔵大学図書館

検索結果一覧へ戻る

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

edited by G.H. Müller, G. Takeuti, and T. Tugué ; : Berlin, : New York. -- Springer-Verlag, 1981. -- (Lecture notes in mathematics ; 891). <BB02092095>
便利機能：
詳細情報を見る

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

edited by G.H. Müller, G. Takeuti, and T. Tugué ; : Berlin, : New York. -- Springer-Verlag, 1981. -- (Lecture notes in mathematics ; 891). <BB02092095>
便利機能：
詳細情報を見る

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 図書館 洋プラ下層 410.8//F9 0120842976 可 0件
No. 0001
巻号
所蔵館 図書館
配置場所 洋プラ下層
請求記号 410.8//F9
資料ID 0120842976
禁帯出区分 可
状態
返却予定日
予約 0件
このページのTOPへ

書誌詳細

タイトル／著者名等 Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, and T. Tugué
出版事項 Berlin ; New York : Springer-Verlag , 1981
形態事項 xi, 394 p. ; 25 cm
巻号情報
巻次等 : Berlin
ISBN 3540111611
巻号情報
巻次等 : New York
ISBN 0387111611
シリーズ名等 Lecture notes in mathematics <BB07000256> 891//a
注記 Includes bibliographies
NCID BA04001552
本文言語 英語
著者標目 *Logic Symposia <AU00075366> (1979 : Hakone-machi, Japan)
著者標目 Müller, G. H. (Gert Heinz), 1923- <AU00009645>
著者標目 竹内, 外史(1926-)||タケウチ, ガイシ <AU00001263>
著者標目 柘植, 利之(1926-)||ツゲ, トシユキ <AU00075369>
分類 LCC:QA3
分類 LCC:QA9.A1
分類 DC19:510 s
分類 DC19:511.3
件名 Logic, Symbolic and mathematical -- Congresses
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    この書誌のQRコード