Screen LibraryA concise introduction to mathematical logic
Saved in:
| Main Authors: | |
|---|---|
| Corporate Authors: | |
| Published: |
Springer,
|
| Publisher Address: | New York, NY |
| Publication Dates: | 2006. |
| Literature type: | Book |
| Language: | English |
| Edition: | 2nd ed. |
| Series: |
Universitext |
| Subjects: | |
| Online Access: |
http://dx.doi.org/10.1007/0-387-34241-9 |
| Item Description: | Einführung in die mathematische Logik. |
| Carrier Form: | xvii, 256 p.: ill. ; 24 cm. |
| ISBN: |
9780387342412 (electronic bk.) 0387342419 (electronic bk.) |
| Index Number: | O14 |
| CLC: | O14 |
| Contents: |
Includes bibliographical references (p. 241-246) and indexes. Propositional logic. -- Predicate logic. -- Gödel's completeness theorem. -- The foundation of logic programming. -- Elements of model theory. -- Incompleteness and undecidability. -- On the theory of self-reference. -- Hints to the exercises. |