Mendeley出力
＜図書＞
Introduction to mathematical logic
| 責任表示 | Michał Walicki |
|---|---|
| データ種別 | 図書 |
| 出版情報 | Singapore : World Scientific , c2012 |
| 本文言語 | 英語 |
| 大きさ | xii, 268 p. ; 23 cm |
| 概要 | This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitiou... students. Walicki (U. of Bergen, Norway) begins with a quick history of logic from inchoate patterns of reasoning to modern symbolic logic. Then he explains elements of set theory, Turing machines, propositional logic, and first order logic. Among specific topics are induction, computability and decidability, soundness and completeness, syntax and proof systems of first order logic, and the semantics of first order logic. Chapter-end exercises facilitate the book's use as a course text or for self-study. Annotation ©2012 Book News, Inc., Portland, OR (booknews.com) 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: [hardback] | 理系図3F 数理独自 | WALI/10/1 | 2012 |
|
033212012000893 |
|
書誌詳細
| 著者標目 | Walicki, Michał |
|---|---|
| 件 名 | LCSH:Logic, Symbolic and mathematical |
| 分 類 | DC23:511.3 |
| 書誌ID | 1001475448 |
| ISBN | 9789814343879 |
| NCID | BB08760519 |
| 巻冊次 | : pbk ; ISBN:9789814343879 : [hardback] ; ISBN:9789814343862 |
| NBN | 015987303 |
| 登録日 | 2012.04.20 |
| 更新日 | 2012.04.20 |