Mendeley出力
＜図書＞
Mathematical Logic
| 責任表示 | George Tourlakis |
|---|---|
| シリーズ | Cambridge studies in advanced mathematics ; 82 . Lectures in logic and set theory / George Tourlakis ; v. 1 |
| データ種別 | 図書 |
| 出版情報 | Cambridge : Cambridge University Press , 2003 |
| 本文言語 | 英語 |
| 大きさ | xi, 328 p. ; 24 cm |
| 概要 | This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate ...ourse in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen. 続きを見る |
| 目次 | v. 1. Mathematical logic v. 2. Set theory. |
| 電子版へのリンク | https://hdl.handle.net/2324/6973080 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図3F 数理独自 | TOUR/5/1-1 | 2003 |
|
023212002006826 |
|
書誌詳細
| 一般注記 | Includes bibliographical references (p. 319-320) and index |
|---|---|
| 著者標目 | *Tourlakis, George J. |
| 件 名 | LCSH:Logic, symbolic and mathematical LCSH:Set theory |
| 分 類 | DC21:511.3 LCC:QA9.2.T68 2003 |
| 書誌ID | 1001395701 |
| ISBN | 0521753732 |
| NCID | BA60165272 |
| 巻冊次 | : hardback ; ISBN:0521753732 ; XISBN:9780521753739 |
| NBN | BA2V3285 |
| 登録日 | 2009.11.02 |
| 更新日 | 2017.03.14 |