<図書>
A course in model theory : an introduction to contemporary mathematical logic
責任表示 | Bruno Poizat ; translated [from the French] by Moses Klein |
---|---|
シリーズ | Universitext |
データ種別 | 図書 |
出版情報 | New York ; Tokyo : Springer , c2000 |
本文言語 | 英語 |
大きさ | xxxi, 443 p. ; 25 cm |
概要 | Translated from the French, this book is an introduction to first-order model theory. Starting from scratch, it quickly reaches the essentials, namely, the back-and-forth method and compactness, whic... are illustrated with examples taken from algebra. It also introduces logic via the study of the models of arithmetic, and it gives complete but accessible exposition of stability theory. 続きを見る |
電子版へのリンク | https://hdl.handle.net/2324/6869114 |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
|
|
理系図1F 開架 | 410.96/P 76 | 2000 |
|
003212001001906 |
|
|||
|
|
理系図3F 数理独自 | POIZ/10/1 | 2000 |
|
023212000003486 |
|
書誌詳細
別書名 | 原タイトル:Cours de théorie des modèles |
---|---|
一般注記 | Includes bibliographical references (p. [419]-427) and indexes |
著者標目 | *Poizat, Bruno Klein, Moses |
件 名 | LCSH:Model theory |
分 類 | LCC:QA9.7 DC21:511/.8 |
書誌ID | 1000690637 |
ISBN | 0387986553 |
NCID | BA47500394 |
巻冊次 | ISBN:0387986553 |
登録日 | 2009.09.15 |
更新日 | 2009.11.02 |