Modern Mathematical Logic
- Textbook
Description
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…
- 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
- DOI https://doi.org/10.1017/9781108973106
- Series Cambridge Mathematical Textbooks
- Subjects Logic,Logic, Categories and Sets,Mathematics,Mathematics (general),Philosophy
- Format: Hardback
- Publication date: 22 September 2022
- ISBN: 9781108833141
- Dimensions (mm): 254 x 178 mm
- Weight: 1.1kg
- Page extent: 550 pages
- Availability: Available
- Format: Digital
- Publication date: 08 December 2022
- ISBN: 9781108973106
Access options
Review the options below to login to check your access.
Personal login
Log in with your Cambridge Higher Education account to check access.
Purchase options
There are no purchase options available for this title.
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.
Related content
AI generated results by Discovery for publishers [opens in a new window]
- ElementGödel's Incompleteness Theorems
Online publication date: 05 April 2022
- BookLectures in Logic and Set Theory
Online publication date: 16 January 2010