Mendeley出力
＜図書＞
Introduction to mathematical logic
| 責任表示 | Elliott Mendelson |
|---|---|
| シリーズ | Discrete mathematics and its applications / Kenneth H. Rosen, series editor |
| データ種別 | 図書 |
| 版 | 5th ed |
| 出版情報 | Boca Raton : Chapman & Hall/CRC , c2010 |
| 本文言語 | 英語 |
| 大きさ | xxiv, 469 p. ; 25 cm |
| 概要 | The best way to begin the study of mathematical logic is not through definitions and descriptions of its purpose but to start doing it, contends Mendelson (mathematics, Queens College, Flushing, New Y...rk) in this update of the 1997 edition of a introductory text on mathematical logic, a subfield of mathematics basic to philosophical logic and computer science. Following an overview of paradoxes historically found in the field, chapters cover truth tables, first-order logic, model theory, formal number theory, axiomatic set theory, and compatibility. The text includes examples, exercises with an answer key, and appended introductions to second-order logic and modal propositional logic. Annotation ©2009 Book News, Inc., Portland, OR (booknews.com) 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: hard | 理系図3F 数理独自 | MEND/30/1a | 2010 |
|
023212009004006 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *Mendelson, Elliott |
| 件 名 | LCSH:Logic, Symbolic and mathematical |
| 分 類 | LCC:QA9 DC22:511.3 |
| 書誌ID | 1001396533 |
| ISBN | 9781584888765 |
| NCID | BA91350315 |
| 巻冊次 | : hard ; ISBN:9781584888765 |
| 登録日 | 2009.11.02 |
| 更新日 | 2009.11.02 |