The mathematics of logic : a guide to completeness theorems and their applications / Richard W. Kaye
| データ種別 | 電子ブック |
|---|---|
| 出版者 | Cambridge : Cambridge University Press |
| 出版年 | 2007 |
| 本文言語 | 英語 |
| 大きさ | 1 online resource (xi, 204 pages) : illustrations |
書誌詳細を非表示
| 内容注記 | Cover; Half-Title; Title; Copyright; Contents; Preface; How to read this book; 1 König's Lemma; 2 Posets and maximal elements; 3 Formal systems; 4 Deductions in posets; 5 Boolean algebras; 6 Propositional logic; 7 Valuations; 8 Filters and ideals; 9 First-order logic; 10 Completeness and compactness; 11 Model theory; 12 Nonstandard analysis; References; Index |
|---|---|
| 一般注記 | Includes index Includes bibliographical references (page 199) and index This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications |
| 著者標目 | *Kaye, Richard (Richard W.) |
| 件 名 | LCSH:Logic, Symbolic and mathematical FREE:MATHEMATICS -- Infinity 全ての件名で検索 FREE:MATHEMATICS -- Logic 全ての件名で検索 FREE:Logic, Symbolic and mathematical FREE:Mathematische Logik FREE:Electronic books |
| 分 類 | DC22:511.3 |
| 巻冊次 | ISBN:9780511342738  ISBN:051134273X ISBN:0511341687 ISBN:9780511341687 ISBN:9780511619243 ISBN:0511619243 XISBN:9780521882194 XISBN:0521882192 XISBN:9780521708777 XISBN:052170877X
|
| ISBN | 9780511342738 |
| URL | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=206648 |
目次／あらすじ