ENGLISH

A concise introduction to mathematical logic

By Wolfgang , Rautenberg

Book information

Publisher
Springer
Year
2010
ISBN
1441912207, 978-1-4419-1220-6, 978-1-4419-1221-3, 1441912215
Language
english
Format
PDF
Filesize
7 MB (6923240 bytes)
Series
Universitext
Edition
3rd ed
Pages
319\337
Time added
2015-12-23 22:00:00
Mathematical Logic and Foundations; Computational

Description

Mathematical logic developed into a broad discipline with many applications in mathematics, informatics, linguistics and philosophy. This text introduces the fundamentals of this field, and this new edition has been thoroughly expanded and revised. Front Matter....Pages i-xxi Propositional Logic....Pages 1-40 First-Order Logic....Pages 41-90 Complete logical Calculi....Pages 91-134 Foundations of Logic Programming....Pages 135-168 Elements of Model Theory....Pages 169-214 Incompleteness and Undecidability....Pages 215-268 On the Theory of Self-Reference....Pages 269-298 Back Matter....Pages 299-319

Similar books

Professional Linux kernel architecture ''Wrox programmer to programmer''--Cover. - ''What you are reading right now is the result of an evolution over more than seven years: After two years of writing, the first edition was published in German by Carl Hanser Verlag in 2003. It then described kernel 2.6.0. The test was used as a basis for the low-level design documentation for the EAL4+ security evaluation of Red Hat Enterprise Linux 5, requiring to update it to kernel 2.6.18 (if the EAL acronym does not mean anything to you, then Wikipedia is once more your friend). Hewlett-Packard sponsored the translation into English and has, thankfully, granted the rights to publish the result. Updates to kernel 2.6.24 were then performed specifically for this book''--P. ix

Professional Linux kernel architecture ''Wrox programmer to programmer''--Cover. - ''What you are reading right now is the result of an evolution over more than seven years: After two years of writing, the first edition was published in German by Carl Hanser Verlag in 2003. It then described kernel 2.6.0. The test was used as a basis for the low-level design documentation for the EAL4+ security evaluation of Red Hat Enterprise Linux 5, requiring to update it to kernel 2.6.18 (if the EAL acronym does not mean anything to you, then Wikipedia is once more your friend). Hewlett-Packard sponsored the translation into English and has, thankfully, granted the rights to publish the result. Updates to kernel 2.6.24 were then performed specifically for this book''--P. ix

2008 · PDF