Screen LibraryThe mathematics of logic：a guide to completeness theorems and their applications
Saved in:
| Main Authors: | |
|---|---|
| Published: |
Cambridge University Press,
|
| Publisher Address: | Cambridge New York |
| Publication Dates: | 2007. |
| Literature type: | Book |
| Language: | English |
| Subjects: | |
| Carrier Form: | xii, 204 p.: ill. ; 24 cm. |
| ISBN: |
9780521882194 (hbk.) 0521882192 (hbk.) 9780521708777 (pbk.) 052170877X (pbk.) |
| Index Number: | O141 |
| CLC: | O141 |
| Call Number: | O141/K235 |
| Contents: |
Includes bibliographical references (p. 199) and index. König's lemma -- Posets and maximal elements -- Formal systems -- Deductions in posets -- Boolean algebras -- Propositional logic -- Valuations -- Filters and ideals -- First-order logic -- Completeness and compactness -- Model theory -- Nonstandard analysis. |