Softcover ISBN:  9781470452728 
Product Code:  STML/89 
List Price:  $59.00 
Individual Price:  $47.20 
MAA Member Price:  $47.20 
AMS Member Price:  $47.20 
eBook ISBN:  9781470454074 
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:  9781470452728 
eBook: ISBN:  9781470454074 
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:  9781470452728 
Product Code:  STML/89 
List Price:  $59.00 
Individual Price:  $47.20 
MAA Member Price:  $47.20 
AMS Member Price:  $47.20 
eBook ISBN:  9781470454074 
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:  9781470452728 
eBook ISBN:  9781470454074 
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

Firstorder 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

Firstorder 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