Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

A Tour through Mathematical Logic

All titles
A Tour through Mathematical Logic

A Tour through Mathematical Logic

A Real Analysis Approach
Robert S. Wolf, University of Wollongong, New South Wales
September 2010
This item is not supplied by Cambridge University Press in your region. Please contact Mathematical Association of America for availability.
Paperback
9780883850428
AUD$85.41
exc GST
Paperback
    Description

    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.

    • 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

    Product details

    September 2010
    Paperback
    9780883850428
    414 pages
    210 × 140 × 20 mm
    0.48kg
    26 b/w illus. 33 colour illus. 1 table 92 exercises
    This item is not supplied by Cambridge University Press in your region. Please contact Mathematical Association of America for availability.

    Often bought together

    Descriptive Set Theory and Dynamical Systems
    Descriptive Set Theory and Dynamical Systems

    : Paperback

    Forcing with Random Variables and Proof Complexity
    Forcing with Random Variables and Proof Complexity

    : Paperback

    Logic for Mathematicians
    Logic for Mathematicians

    : Paperback

    Often bought together

    cambridge core banner

    Related Journals

    The Review of Symbolic Logic
    The Review of Symbolic Logic

    : Journal

    The Review of Symbolic Logic is designed to cultivate research on theborders of logic, philosophy, and the sciences, and to supportsubstantive interactions between these disciplines. The journalwelcomes submissions in any of the following areas, broadly construed: - The general study of logical systems and their semantics,including non-classical logics and algebraic logic; - Philosophical logic and formal epistemology, including interactions with decision theory and game theory; - The history, philosophy, and methodology of logic and mathematics, including the history of philosophy of logic and mathematics; - Applications of logic to the sciences, such as computer science, cognitive science, and linguistics; and logical results addressing foundational issues in the sciences. The Review welcomes submissions in all these areas. (For informationon how to submit papers, see Guidelines below.) The Review beganpublication in June 2008.

    Related Journals

    Also by this Author

    Contents

    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.
      • Show more
    Courses
    Resources
    Additional Information
    About the authors
      Author
    • Robert S. Wolf , University of Wollongong, New South Wales

      Rodney Nillsen gained his undergraduate degree at the University of Tasmania, and studied at postgraduate level at the Flinders University of South Australia, under Igor Kluvánek. He has held positions at the Flinders University of South Australia, the Royal University of Malta, the Open University and the University College of Swansea. He currently lectures at the University of Wollongong, New South Wales. He is a member of the Australian Mathematical Society, the Mathematical Association of America and the American Mathematical Society.

    Browse by related subject

     
    ✕

    Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

    Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

    Customer Services