<図書>
Mathematical logic
責任表示 | H.-D. Ebbinghaus, J. Flum, W. Thomas |
---|---|
シリーズ | Undergraduate texts in mathematics |
データ種別 | 図書 |
版 | 2nd ed |
出版者 | New York ; Tokyo : Springer-Verlag |
出版年 | c1994 |
本文言語 | 英語 |
大きさ | x, 289 p. : ill. ; 25 cm |
概要 | This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and...of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fra ss 's characterization of elementary equivalence, Lindstr m's theorem on the maximality of first-order logic, and the fundamentals of logic programming. This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fra ss 's characterization of elementary equivalence, Lindstr m's theorem on the maximality of first-order logic, and the fundamentals of logic programming. 続きを見る |
電子版へのリンク | https://hdl.handle.net/2324/6882870 |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
|
理系図3F 数理独自 | EBBI/10/2 | 1994 |
|
068222194004073 |
|
||||
: us | 理系図1F 開架 | 410.1/E 12 | 1994 |
|
026211996000490 |
|
||||
: us | 理系図1F 開架 | 410.1/E 12 | 1994 |
|
068252195009170 |
|
書誌詳細
別書名 | 原タイトル:Einführung in die mathematisch Logik |
---|---|
一般注記 | Translation of: Einführung in die mathematisch Logik Includes bibliographical references and indexes |
著者標目 | *Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg Thomas, Wolfgang |
件 名 | LCSH:Logic, Symbolic and mathematical |
分 類 | LCC:QA9 DC19:511.3 NDC7:410.12 NDLC:MA41 |
書誌ID | 1000038164 |
ISBN | 0387942580 |
NCID | BA23050624 |
巻冊次 | : us ; ISBN:0387942580 : gw ; ISBN:3540942580 |
登録日 | 2009.09.10 |
更新日 | 2009.11.02 |