Посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости, успешно используемого в современных метаматематических исследованиях, и на основе предлагаемого автором точного понятия алгоритма, ориентированного на приложения в теории программирования. Формулируются аксиомы элементарной теории чисел, строятся основы теории множеств в аксиоматической системе Цермело-Френкеля. В последнем разделе книги - приложения к теории субрекурсивных алгоритмов в специализированных направлениях.
Дополнительно: Отправляю книги Почтой России. Наложенным платежом стараюсь не пользоваться, отправляю без наложенного платежа с оплатой по факту получения. При пересылке по почте учитывайте, что кроме цены книги Вам придется оплатить и пересылку. Пакую книги в свою упаковку, за пересылку лишних денег не требую. В Москве предпочитаю личные встречи - это экономит деньги и время, но и почтой не брезгую.
Дополнительно: При заказе от 3-х книг -- скидка от 3%.
При заказе от 6-ти книг -- скидка от 6%.
При заказе от 10-ти книг -- скидка от 10%.
Доставка "Почтой России" или "Яндексом": отправка со склада в течение 2х-3х дней!
Отправка другими транспортными компаниями в течение 4х дней.
Самовывоз в любой день.
Подробно опишу состояние книги; содержание -- до заказа (через кнопку "Спросить" *).
Фото -- до за... [подробнее]