- Main
- Mathematics
- A First Journey Through Logic
A First Journey Through Logic
Martin Hils, Francois LoeserКолко ви харесва тази книга?
Какво е качеството на файла?
Изтеглете книгата за оценка на качеството
Какво е качеството на изтеглените файлове?
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.
Категории:
Година:
2019
Издателство:
American Mathematical Society
Език:
english
Страници:
185
ISBN 10:
1470452723
ISBN 13:
9781470452728
Серия:
Student Mathematical Library (Book 89)
Файл:
PDF, 2.41 MB
Вашите тагове:
IPFS:
CID , CID Blake2b
english, 2019
Файлът ще бъде изпратен на вашия имейл адрес. Може да отнеме до 1-5 минути, преди да го получите.
В рамките на 1-5 минути файлът ще бъде доставен във вашия акаунт в Telegram.
Внимание: Уверете се, че сте свързали акаунта си с бота Z-Library Telegram.
В рамките на 1-5 минути файлът ще бъде доставен на вашето Kindle устройство.
Моля, обърнете внимание: трябва да потвърдите всяка книга, която искате да изпратите на вашия Kindle. Проверете пощенската си кутия за имейла за потвърждение от Amazon Kindle.
Преобразуването в се извършва
Преобразуването в е неуспешно
Предимства на премиум статус
- Изпращане на електронни четци
- Увеличен лимит за изтегляне
- Конвертиране на файлове
- Още резултати от търсенето
- Други предимства