東海大学蔵書検索

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

edited by Xavier Caicedo, Carlos H. Montenegro. -- Marcel Dekker, 1999. -- (Lecture notes in pure and applied mathematics ; v. 203). <TY10093859>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~2件(全2件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 WEB書棚
0001 12号館 開架室 410.8/L/203 0010008520119 配架済
0002 熊 本 本館5階 洋図書閉架 410.8/L/203 0010761155902 配架済
No. 0001
巻号
所蔵館 12号館
配置場所 開架室
請求記号 410.8/L/203
資料ID 0010008520119
状態 配架済
返却予定日
WEB書棚
No. 0002
巻号
所蔵館 熊 本
配置場所 本館5階 洋図書閉架
請求記号 410.8/L/203
資料ID 0010761155902
状態 配架済
返却予定日
WEB書棚

書誌詳細

標題および責任表示 Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá / edited by Xavier Caicedo, Carlos H. Montenegro
出版・頒布事項 New York : Marcel Dekker , c1999
形態事項 xiii, 448 p. : ill. ; 26 cm
巻号情報
ISBN 0824719700
書誌構造リンク Lecture notes in pure and applied mathematics <TY10003031> v. 203
注記 Includes bibliographical references
学情ID BA38628466
本文言語コード 英語
著者標目リンク *Latin-American Symposium on Mathematical Logic <> (10th : 1996 : Bogotá, Colombia)
著者標目リンク Caicedo, Xavier, 1944- <>
著者標目リンク Montenegro, Carlos H., 1958- <>
分類標目 LCC:QA9.A1
分類標目 DC21:511.3
ローカル分類標目 NDC:410.8
件名標目等 Logic, Symbolic and mathematical -- Congresses
レコードID TY10093859