000			a
999			_c32107 _d32107
008			231006b xxu||||| |||| 00| 0 eng d
020			_a9781470452728
082			_a511.3 _bHIL
100			_aHils, Martin
245			_aA First Journey through Logic
260			_bAmerican Mathematical Society, _c2023 _aProvidence :
300			_axi, 185 p. ; _bill., _c22 cm
365			_b59.00 _cUSD _d86.10
490			_aStudent mathematical library ; _vv.89
504			_aIncludes bibliographical references and index.
520			_aThe 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.
650			_aLogic
650			_aSymbolic and mathematical
650			_aInstructional exposition
700			_aLoeser, Francois
942			_2ddc _cBK