| Mathematical Logic: A Course with Exercisespart II: Recursion Theory, Gödel's Theorems, Set Theory, Model Theory Contributor(s): Cori, René (Author), Lascar, Daniel (Author), Pelletier, Donald (Author) |
|
 |
ISBN: 0198500505 ISBN-13: 9780198500506 Publisher: Oxford University Press, USA OUR PRICE: $109.25 Product Type: Paperback - Other Formats Published: June 2001 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Philosophy | Logic - Mathematics | Set Theory |
| Dewey: 511.3 |
| Series: Recursion Theory |
| Physical Information: 0.73" H x 6.14" W x 9.21" (1.09 lbs) 352 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the ever-growing importance of computer science. This text is based on a course to undergraduates and provides a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence whilst still covering a wide area of logic. The foundations having been laid in Part 1, this book starts with recursion theory, a topic essential for the complete scientist. Then follows Godel's incompleteness theorems and axiomatic set theory. Chapter 8 provides an introduction to model theory. There are examples throughout each section, and varied selection of exercises at the end. Answers to the exercises are given in the appendix. |