- Main
- Mathematics - Logic
- First Order Mathematical Logic
First Order Mathematical Logic
Angelo MargarisНаскільки Вам сподобалась ця книга?
Яка якість завантаженого файлу?
Скачайте книгу, щоб оцінити її якість
Яка якість скачаних файлів?
Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in some detail, with special emphasis on number theory. After a discussion of truth and models, the completeness theorem is proved. ". . . an excellent text." — Mathematical Reviews. Exercises. Bibliography.
Категорії:
Рік:
1990
Мова:
english
Сторінки:
222
ISBN 10:
0486662691
ISBN 13:
9780486662695
Файл:
DJVU, 1.52 MB
Ваші теги:
IPFS:
CID , CID Blake2b
english, 1990
Читати Онлайн
- Завантажити
- djvu 1.52 MB Current page
- Checking other formats...
Чи бажаєте додати книгарню? Зв'яжіться з нами за support@z-lib.do
Напротязі 1-5 хвилин файл буде доставлено на ваш email.
Напротязі 1-5 хвилин файл буде доставлено на ваш Telegram акаунт.
Увага: переконайтесь, що ви прив'язали свій акаунт до Z-Library Telegram боту.
Напртязі 1-5 хвилин файл буде доставлений на ваш Kindle пристрій.
Примітки: вам необхідно верифікувати кожну книгу, яку Ви надсилаєте на Kindle. Перевірте Вашу електронну скриньку на наявність листів з підтвердженням від Amazon Kindle Support.
Виконується конвертація в
Конвертація в не вдалась
Переваги Преміум статусу
- Надсилайте на електронні читалки
- Ліміт завантажень збільшений
- Конвертуйте файли
- Більше результатів пошуку
- Інші переваги