Посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости, успешно используемого в современных метаматематических исследованиях, и на основе предлагаемого автором точного понятия алгоритма, ориентированного на приложения в теории программирования. Формулируются аксиомы элементарной теории чисел, строятся основы теории множеств в аксиоматической системе Цермело-Френкеля. В последнем разделе книги - приложения к теории субрекурсивных алгоритмов в специализированных направлениях.
Дополнительно: Отправляю книги Почтой России. Наложенным платежом стараюсь не пользоваться, отправляю без наложенного платежа с оплатой по факту получения. При пересылке по почте учитывайте, что кроме цены книги Вам придется оплатить и пересылку. Пакую книги в свою упаковку, за пересылку лишних денег не требую. В Москве предпочитаю личные встречи - это экономит деньги и время, но и почтой не брезгую.