Screen LibraryMathematical logic
Mathematical logic is the art and science of mathematical reasoning. Written for the undergraduate logic user, this text presents mathematical or 'symbolic' logic as a reliable tool for deductive reasoning in computer science, mathematics, philosophy, and other related disciplines.
Saved in:
| Main Authors: | |
|---|---|
| Published: |
|
| Literature type: | Electronic eBook |
| Language: | English |
| Subjects: | |
| Online Access: |
http://onlinelibrary.wiley.com/book/10.1002/9781118032435 |
| Summary: |
Mathematical logic is the art and science of mathematical reasoning. Written for the undergraduate logic user, this text presents mathematical or 'symbolic' logic as a reliable tool for deductive reasoning in computer science, mathematics, philosophy, and other related disciplines. |
| Carrier Form: | 1 online resource (xvii, 293 p.) : ill. |
| Bibliography: | Includes bibliographical references (p. 281-283) and index. |
| ISBN: |
9781118032435 (electronic bk.) 1118032438 (electronic bk.) 9781118030691 (electronic bk.) 1118030699 (electronic bk.) |
| Index Number: | QA9 |
| CLC: | O14 |
| Contents: |
Front Matter -- Boolean Logic. The Beginning -- Theorems and Metatheorems -- The Interplay between Syntax and Semantics -- Predicate Logic. Extending Boolean Logic -- Two Equivalent Logics -- Generalization and Additional Leibniz Rules -- Properties of Equality -- First-Order Semantics--Very Na̐vely -- Appendix A: G̲del's Theorems and Computability -- References -- Index. PART I: BOOLEAN LOGIC -- The beginning -- Theorems and metatheorems -- The interplay between syntax and semantics -- PART II: PREDICATE LOGIC -- Extending Boolean logic -- Generalization and additional Leibniz rules -- Properties of equality -- First order semantics -- very naïvely -- Appendix A: Gödel theorems and computability -- A.1 Revisiting Tarski Semantics -- A.2 Completeness -- A.3 A brief theory of computability -- A.4 Gödel's first incompleteness theorem. |