A 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. |