Mathematical Logic (Revised Edition)

Author: A.G. Hamilton
Publisher:
Publish Date: 2003-08-01
Features: "Mathematical Logic" is a fundamental discipline. Choosing a good textbook on "Mathematical Logic" is very important for cultivating the next generation of computer scientists and IT professionals. Based on expert recommendations, we selected the photocopied publication of "Logic for Mathematicians" by A.G. Hamilton from Cambridge University Press. We hope that this photocopied edition can provide support for the establishment of "Mathematical Logic" courses in domestic universities. This book systematically explains the fundamental parts of mathematical logic—propositional logic and predicate logic. Chapter 1 intuitively explains the basic ideas and concepts of propositional logic; Chapter 2 explains the formal system of propositional logic; Chapter 3 intuitively explains predicate logic; Chapter 4 explains the formal system of predicate logic; Chapter 5 introduces mathematical systems; Chapter 6 comprehensively introduces G?del's incompleteness theorems and preliminary knowledge of recursive functions in a brief section; Chapter 7 briefly introduces the theory of computability and decidability. Since mathematical logic (especially its fundamental parts) is an established old discipline, its theoretical system has not changed much. This edition was published by Cambridge University Press in 1978, followed by a revised edition in 1988. Since its publication, it has been reprinted almost every year, showing its popularity. This book is suitable for undergraduate teaching and is an excellent textbook. It is suitable for computer science majors, mathematics majors, and is also applicable to philosophy majors.