
A First Journey Through Logic
American Mathematical Society (Publisher)
Published on 30. October 2019
Book
Paperback/Softback
195 pages
978-1-4704-5272-8 (ISBN)
Description
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, Godel'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.
More details
Series
Language
English
Place of publication
Providence
United States
Target group
Professional and scholarly
Dimensions
Height: 216 mm
Width: 140 mm
Weight
245 gr
ISBN-13
978-1-4704-5272-8 (9781470452728)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Martin Hils, Westfalische Wilhelms-Universitat Munster, Germany.
Francois Loeser, Sorbonne Universite, Paris, France.
Francois Loeser, Sorbonne Universite, Paris, France.
Content
Counting to infinity
First-order logic
First steps in model theory
Recursive functions
Models of arithmetic and limitation theorems
Axiomatic set theory
Bibliography
Index.
First-order logic
First steps in model theory
Recursive functions
Models of arithmetic and limitation theorems
Axiomatic set theory
Bibliography
Index.