Консультант:
+7(7232) 26 44 09
с 10:00 до 19:00 в раб. дни
Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Автор: Hunter Geoffrey

Рейтинг:
(0)

Раздел: California UP

Издательство: California UP
ISBN: 978-0-520-02356-7
Год: 2012

Переплет: мягкая обложка
Страниц: 302
Язык: английский
Размеры: 207x138x22 мм

11 845 тг.

Количество

Поступление на склад 25.12.2016
Поделиться:

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.

  • Комментарии
Загрузка комментариев...

Похожие товары:

0 Корзина
Стоимость
заказа: 0 тг.
Перейти в корзину для оформления заказа
0
Закладки
Посмотреть