Учебное пособие для студентов математических специальностей вузов.
Классический учебник по мат. логике и теории алгоритмов для университетов, а также учебное пособие при чтении спецкурсов.
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Дополнительно: Отправляю книги Почтой России. Наложенным платежом стараюсь не пользоваться, отправляю без наложенного платежа с оплатой по факту получения. При пересылке по почте учитывайте, что кроме цены книги Вам придется оплатить и пересылку. Пакую книги в свою упаковку, за пересылку лишних денег не требую. В Москве предпочитаю личные встречи - это экономит деньги и время, но и почтой не брезгую.
Дополнительно: ВНИМАНИЕ! В НАСТОЯЩЕЕ ВРЕМЯ ЗАКАЗЫ ОТ ПОКУПАТЕЛЕЙ ИЗ РФ и БЕЛАРУСИ НЕ ПРИНИМАЮ И НЕ ОТПРАВЛЯЮ В ЭТИ СТРАНЫ
Доставка ◆по всему миру ◆Укрпочтой или Новой почтой◆заказным отправлением ◆после полной предоплаты ◆по Украине Укрпочтой или Новой почтой - после оплаты
Способы оплаты ◆банковский перевод на карту Приватбанка (Украина)◆по международным системам д... [подробнее]