愛媛大学図書館

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). <BB00315443>
登録タグ:
登録されているタグはありません
書誌URL:

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 中央館 研究室-教育
410.9/MO 0311998235102 通常 0件
No. 0001
巻号
所蔵館 中央館
配置場所 研究室-教育
請求記号 410.9/MO
資料ID 0311998235102
状態 通常
返却予定日
予約 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. ; 26 cm
巻号情報
ISBN 0824719700
書誌構造リンク Lecture notes in pure and applied mathematics v. 203//a
注記 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
件名標目等 Logic, Symbolic and mathematical -- Congresses