日本女子大学図書館システム JWULIS

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). <BB00210002>

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 目白地区 数学 ||510.8||L471||203 21646677 配架済 0件
No. 0001
巻号
所蔵館 目白地区
配置場所 数学
請求記号 ||510.8||L471||203
資料ID 21646677
状態 配架済
返却予定日
予約 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||<NC:BA00256405> ; v. 203//a
注記 Includes bibliographical references
学情ID BA38628466
本文言語コード 英語
著者標目リンク *Latin-American Symposium on Mathematical Logic <NC:DA01166803> (10th : 1996 : Bogotá, Colombia)
著者標目リンク Caicedo, Xavier, 1944- <NC:DA11723994>
著者標目リンク Montenegro, Carlos H., 1958- <NC:DA11724024>
分類標目 DDC:QA9.A1
分類標目 DDC:511.3
分類標目 DDC:410.96
件名標目等 Logic, Symbolic and mathematical -- Congresses