000 -LEADER |
fixed length control field |
a |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
231006b xxu||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781470452728 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
511.3 |
Item number |
HIL |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Hils, Martin |
245 ## - TITLE STATEMENT |
Title |
A First Journey through Logic |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Name of publisher, distributor, etc |
American Mathematical Society, |
Date of publication, distribution, etc |
2023 |
Place of publication, distribution, etc |
Providence : |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xi, 185 p. ; |
Other physical details |
ill., |
Dimensions |
22 cm |
365 ## - TRADE PRICE |
Price amount |
59.00 |
Price type code |
USD |
Unit of pricing |
86.10 |
490 ## - SERIES STATEMENT |
Series statement |
Student mathematical library ; |
Volume number/sequential designation |
v.89 |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and index. |
520 ## - SUMMARY, ETC. |
Summary, etc |
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. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logic |
|
Topical term or geographic name as entry element |
Symbolic and mathematical |
|
Topical term or geographic name as entry element |
Instructional exposition |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Loeser, Francois |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Item type |
Books |