| Description |
1 online resource (xi, 204 pages) : illustrations |
|
data file |
| Physical Medium |
polychrome |
| Note |
Includes index. |
| Bibliography |
Includes bibliographical references (page 199) and index. |
| Contents |
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. |
| Summary |
This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications. |
| Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
| Subject |
Logic, Symbolic and mathematical.
|
|
Logic, Symbolic and mathematical. |
| Genre/Form |
Electronic book.
|
|
Electronic books.
|
|
Electronic books.
|
| Other Form: |
Print version: Kaye, Richard (Richard W.). Mathematics of logic. Cambridge : Cambridge University Press, 2007 9780521882194 0521882192 (OCoLC)149011791 |
| ISBN |
9780511342738 (electronic book) |
|
051134273X (electronic book) |
|
0511341687 |
|
9780511341687 |
|
9780511619243 (ebook) |
|
0511619243 (ebook) |
|
9780521882194 (hardback) |
|
0521882192 (hardback) |
|
9780521708777 (paperback) |
|
052170877X (paperback) |
|
