名城大学附属図書館

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). <BB05058921>
書誌URL:

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 本館 1F 書庫 410.9/L471/203 20684440 0件
No. 0001
巻号
所蔵館 本館
配置場所 1F 書庫
請求記号 410.9/L471/203
資料ID 20684440
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 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 <BB05223345> v. 203//a
注記 Includes bibliographical references
学情ID BA38628466
本文言語コード 英語
著者標目リンク Latin-American Symposium on Mathematical Logic <AU00081678> (10th : 1996 : Bogotá, Colombia)
著者標目リンク Caicedo, Xavier, 1944- <AU00081679>
著者標目リンク Montenegro, Carlos H., 1958- <AU00081680>
分類標目 LCC:QA9.A1
分類標目 DC21:511.3
分類標目 数学 NDC8:410.96
件名標目等 Logic, Symbolic and mathematical -- Congresses