A Tour through Mathematical Logic
A Real Analysis Approach
Part of Carus Mathematical Monographs
- Author: Robert S. Wolf, University of Wollongong, New South Wales
- Date Published: September 2010
- availability: This item is not supplied by Cambridge University Press in your region. Please contact Mathematical Association of America for availability.
- format: Paperback
- isbn: 9780883850428
Paperback
Looking for an inspection copy?
Please email [email protected] to enquire about an inspection copy of this book
-
The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level. The book is deliberately less structured and more user-friendly than standard texts on foundations, so will also be attractive to those outside the classroom environment wanting to learn about the subject.
Read more- An emphasis on possible interpretations of certain results and concepts, and their connections to author areas of inquiry, gives the reader a depth of understanding
- Includes both 'Exercises' and 'Investigations': the former emphasise more technical questions concerning the ideas, while the latter are more open, allowing scope for student initiative and further research
- Notes at the end of each part set the mathematical ideas in their historical background
Customer reviews
Not yet reviewed
Be the first to review
Review was not posted due to profanity
×Product details
- Date Published: September 2010
- format: Paperback
- isbn: 9780883850428
- length: 414 pages
- dimensions: 210 x 140 x 20 mm
- weight: 0.48kg
- contains: 26 b/w illus. 33 colour illus. 1 table 92 exercises
- availability: This item is not supplied by Cambridge University Press in your region. Please contact Mathematical Association of America for availability.
Table of Contents
1. Predicate logic
2. Set theory
3. Recursion theory and computability
4. Model theory
5. Independence results in set theory
6. Nonstandard analysis
7. Constructive mathematics
Appendix A. A deductive system for first-order logic
Appendix B. Relations and orderings
Appendix C. Cardinal arithmetic
Bibliography
Index.
Related Books
Sorry, this resource is locked
Please register or sign in to request access. If you are having problems accessing these resources please email [email protected]
Register Sign in» Proceed
You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.
Continue ×Are you sure you want to delete your account?
This cannot be undone.
Thank you for your feedback which will help us improve our service.
If you requested a response, we will make sure to get back to you shortly.
×