ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス My Library ▼
    • 利用状況一覧
    • ブックマーク
    • お気に入り検索
    • 新着アラート
    • ILL複写依頼
    • ILL貸借依頼
    • 新規購入依頼

専修大学図書館

検索結果一覧へ戻る

Models, logics, and higher-dimensional categories : a tribute to the work of Mihály Makkai

Bradd Hart ... [et al.], editors ; : pbk. -- American Mathematical Society, 2011. -- (CRM proceedings & lecture notes ; v. 53). <BB00929816>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

Models, logics, and higher-dimensional categories : a tribute to the work of Mihály Makkai

Bradd Hart ... [et al.], editors ; : pbk. -- American Mathematical Society, 2011. -- (CRM proceedings & lecture notes ; v. 53). <BB00929816>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

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

No. 所蔵館 配置場所 文庫名 請求記号 巻号 年月次 資料ID 状態 返却予定日 予約
0001 本館 2Fピンク区画 /410/C92/53 : pbk 205738339 配架済 0件
No. 0001
所蔵館 本館
配置場所 2Fピンク区画
文庫名
請求記号 /410/C92/53
巻号 : pbk
年月次
資料ID 205738339
状態 配架済
返却予定日
予約 0件
このページのTOPへ

書誌詳細

タイトル・著者名 Models, logics, and higher-dimensional categories : a tribute to the work of Mihály Makkai / Bradd Hart ... [et al.], editors
出版 Providence, R.I. : American Mathematical Society , c2011
形態事項 x, 426 p. : ill. ; 26 cm
巻号情報
ISBN 9780821872819
シリーズ CRM proceedings & lecture notes <BB00235192> v. 53//a
注記 Proceedings of a conference held at Centre de recherches mathématiques of the Université de Montréal, June 18-20, 2009
注記 Includes bibliographical references
注記 Other editors: Thomas G. Kucera, Anand Pillay, Philip J. Scott, Robert A.G. Seely
NCID BB07251101
本文言語コード 英語
著者標目リンク Hart, Bradd T. <AU00182767>
著者標目リンク Kucera, Thomas G. <>
著者標目リンク Pillay, Anand <AU00006436>
著者標目リンク Scott, Philip J. <>
著者標目リンク Seely, R. A. G. (Robert Andrew George), 1951- <AU00182766>
分類標目 LCC:QA9.7
分類標目 DC23:512/.62
件名標目等 Model theory -- Congresses
件名標目等 Categories (Mathematics) -- Congresses
件名標目等 Mathematical logic and foundations -- Proceedings, conferences, collections, etc. msc
件名標目等 Mathematical logic and foundations -- Model theory -- Classification theory, stability and related concepts. msc
件名標目等 Mathematical logic and foundations -- Model theory -- Properties of classes of models. msc
件名標目等 Mathematical logic and foundations -- Model theory -- Nonclassical models (Boolean-valued, sheaf, etc.). msc
件名標目等 Mathematical logic and foundations -- Algebraic logic -- Categorical logic, topoi. msc
件名標目等 Category theory; homological algebra -- Categories and theories -- Theories (e.g. algebraic theories), structure, and semantics. msc
件名標目等 Category theory; homological algebra -- Categories with structure -- Double categories, $2$-categories, bicategories and generalizations. msc
件名標目等 Category theory; homological algebra -- Categories with structure -- Fibered categories. msc
件名標目等 Makkai, Mihály, 1939-
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ