|
|
|||
|
||||
OverviewThe 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. Full Product DetailsAuthor: Martin Hils , Francois LoeserPublisher: American Mathematical Society Imprint: American Mathematical Society Weight: 0.245kg ISBN: 9781470452728ISBN 10: 1470452723 Pages: 195 Publication Date: 30 October 2019 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsCounting to infinity First-order logic First steps in model theory Recursive functions Models of arithmetic and limitation theorems Axiomatic set theory Bibliography Index.ReviewsAuthor InformationMartin Hils, Westfalische Wilhelms-Universitat Munster, Germany. Francois Loeser, Sorbonne Universite, Paris, France. Tab Content 6Author Website:Countries AvailableAll regions |