Skip to main content Accessibility help
Internet Explorer 11 is being discontinued by Microsoft in August 2021. If you have difficulties viewing the site on Internet Explorer 11 we recommend using a different browser such as Microsoft Edge, Google Chrome, Apple Safari or Mozilla Firefox.
> Modern Mathematical Logic

Modern Mathematical Logic


Joseph Mileti, Grinnell College, Iowa
Published 2022


This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of mathematical logic and the fundamental material on completeness, compactness, and incompleteness, it devotes significant space to thorough introductions to the pillars of the modern subject: model theory, set theory, and computability. Requiring only a modest background of undergraduate mathematics, the text can be readily…

  • Get access
  • Add bookmark
  • Cite
  • Share

Key features

  • A complete introduction to the subject including chapters on model theory, set theory, and computability, in addition to the fundamental material on completeness, compactness, and incompleteness
  • Written by a celebrated instructor using modern notation, conventions, and perspectives
  • Includes instructor guide and can be readily adapted for a variety of courses at the upper-undergraduate and beginning graduate level
  • Numerous examples reinforce the key ideas and illustrate their applications in other areas of mathematics
  • Classroom-tested exercises serve to consolidate readers' understanding
  • Comprehensive grounding and suggestions for further reading leave the reader well-prepared for further study

About the book

Access options

Review the options below to login to check your access.

Purchase options

There are no purchase options available for this title.

Have an access code?

To redeem an access code, please log in with your personal login.

If you believe you should have access to this content, please contact your institutional librarian or consult our FAQ page for further information about accessing our content.

Also available to purchase from these educational ebook suppliers

Related content

AI generated results by Discovery for publishers [opens in a new window]