A Course on Mathematical Logic (Repost)

Description

This textbook is written for advanced undegraduates or first year graduate students of mathematics and computer science. It is also intended for the working mathematician who wants to gain an appreciation of Mathematical Logic. There are no prerequisites for this book; however, some mathematical maturity is required. The book is written in a totally mathematical style, and any mathematician should feel at home reading this. The book starts with the definition of first order languages, proceeds through propositional logic, completeness theorems, and finally the two Incompleteness Theorems of Godel. In the process, the reader is also introduced to model theory and recursion Theory. After reading this book, the reader will be ready to branch into model Theory, recursion Theory, axiomatic set theory or even theoretical computer science.
Logic is a very profound subject, Godel's work being one the most remarkable discoveries in 20th-Century mathematics, having made an enormous impact on set theory, model theory as well as computer science. In spite of this impact, there exists a dearth of modern books which allow an aspiring mathematician to read and develop an appreciation for the subject. This book attempts to fill that gap by providing a short, distinctive, modern, and well-motivated introduction to mathematical logic.

Thanks to the original uploader!

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "A Course on Mathematical Logic (Repost)" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 3097
2. Introduction to Mathematical Logic,4 Ed (repost)
3. Elements of Mathematical Logic: Model Theory (Studies in Logic and the Foundations of Mathematics)
4. Lectures in Logic and Set Theory. Volume I: Mathematical Logic (Reupload)
5. A Survey of Mathematical Logic (Studies in Logic and the Foundations of Mathematics)
6. Lectures in Logic and Set Theory : Volume 1, Mathematical Logic
7. Lectures in Logic and Set Theory Vol.I Mathematical Logic
8. Logic for Concurrency and Synchronisation (Trends in Logic) 2003-05 (Repost)
9. Mathematical Logic
10. Mathematical Logic
11. Mathematical Logic
12. A Course In Mathematical Logic
13. What is Mathematical Logic?
14. A Course In Mathematical Logic
15. The Elements of Mathematical Logic
16. Handbook of Mathematical Logic