В издании наряду с традиционными разделами математической логики (исчисление высказываний, логика и исчисление предикатов) представлены разделы, которые не часто встречаются в книгах по данной тематике: основы метода резолюций для логики предикатов, основные принципы и некоторые понятия логического программирования. Тираж 150 экз.
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Фото книг в состоянии "новое", "как новое" и "отличное" не высылаю.
Встречи по договоренности исключаются.
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Фото книг в состоянии "новое", "как новое" и "отличное" не высылаю.
Встречи по договоренности исключаются.