| Softcover ISBN: | 978-1-4704-5272-8 |
| Product Code: | STML/89 |
| List Price: | $59.00 |
| Individual Price: | $47.20 |
| MAA Member Price: | $47.20 |
| AMS Member Price: | $47.20 |
| eBook ISBN: | 978-1-4704-5407-4 |
| Product Code: | STML/89.E |
| List Price: | $49.00 |
| Individual Price: | $39.20 |
| MAA Member Price: | $39.20 |
| AMS Member Price: | $39.20 |
| Softcover ISBN: | 978-1-4704-5272-8 |
| eBook: ISBN: | 978-1-4704-5407-4 |
| Product Code: | STML/89.B |
| List Price: | $108.00 $83.50 |
| MAA Member Price: | $86.40 $66.80 |
| AMS Member Price: | $86.40 $66.80 |
| Softcover ISBN: | 978-1-4704-5272-8 |
| Product Code: | STML/89 |
| List Price: | $59.00 |
| Individual Price: | $47.20 |
| MAA Member Price: | $47.20 |
| AMS Member Price: | $47.20 |
| eBook ISBN: | 978-1-4704-5407-4 |
| Product Code: | STML/89.E |
| List Price: | $49.00 |
| Individual Price: | $39.20 |
| MAA Member Price: | $39.20 |
| AMS Member Price: | $39.20 |
| Softcover ISBN: | 978-1-4704-5272-8 |
| eBook ISBN: | 978-1-4704-5407-4 |
| Product Code: | STML/89.B |
| List Price: | $108.00 $83.50 |
| MAA Member Price: | $86.40 $66.80 |
| AMS Member Price: | $86.40 $66.80 |
-
Book DetailsStudent Mathematical LibraryVolume: 89; 2019; 185 ppMSC: Primary 03
The aim of this book is to present mathematical logic to students who are interested in what this field is but have no intention of specializing in it. The point of view is to treat logic on an equal footing to any other topic in the mathematical curriculum. The book starts with a presentation of naive set theory, the theory of sets that mathematicians use on a daily basis. Each subsequent chapter presents one of the main areas of mathematical logic: first order logic and formal proofs, model theory, recursion theory, Gödel's incompleteness theorem, and, finally, the axiomatic set theory. Each chapter includes several interesting highlights—outside of logic when possible—either in the main text, or as exercises or appendices. Exercises are an essential component of the book, and a good number of them are designed to provide an opening to additional topics of interest.
ReadershipUndergraduate and graduate students and researchers interested in learning basics of mathematical logic.
-
Table of Contents
-
Chapters
-
Counting to infinity
-
First-order logic
-
First steps in model theory
-
Recursive functions
-
Models of arithmetic and limitation theorems
-
Axiomatic set theory
-
-
Additional Material
-
Reviews
-
This little book discusses, in six chapters totaling only about 170 pages of text, a number of facets of mathematical logic: set theory, the predicate calculus, model theory, recursive functions, Godel's Incompleteness Theorems, etc. The text will not make anybody an expert in these issues, but will at least provide a decent acquaintance with the basics at a mathematically correct level.
Mark Hunacek, MAA Reviews
-
-
RequestsReview Copy – for publishers of book reviewsPermission – for use of book, eBook, or Journal contentAccessibility – to request an alternate format of an AMS title
- Book Details
- Table of Contents
- Additional Material
- Reviews
- Requests
The aim of this book is to present mathematical logic to students who are interested in what this field is but have no intention of specializing in it. The point of view is to treat logic on an equal footing to any other topic in the mathematical curriculum. The book starts with a presentation of naive set theory, the theory of sets that mathematicians use on a daily basis. Each subsequent chapter presents one of the main areas of mathematical logic: first order logic and formal proofs, model theory, recursion theory, Gödel's incompleteness theorem, and, finally, the axiomatic set theory. Each chapter includes several interesting highlights—outside of logic when possible—either in the main text, or as exercises or appendices. Exercises are an essential component of the book, and a good number of them are designed to provide an opening to additional topics of interest.
Undergraduate and graduate students and researchers interested in learning basics of mathematical logic.
-
Chapters
-
Counting to infinity
-
First-order logic
-
First steps in model theory
-
Recursive functions
-
Models of arithmetic and limitation theorems
-
Axiomatic set theory
-
This little book discusses, in six chapters totaling only about 170 pages of text, a number of facets of mathematical logic: set theory, the predicate calculus, model theory, recursive functions, Godel's Incompleteness Theorems, etc. The text will not make anybody an expert in these issues, but will at least provide a decent acquaintance with the basics at a mathematically correct level.
Mark Hunacek, MAA Reviews
