КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Обложка Смирнов В.А. Теория логического вывода
Id: 24328
 

Теория логического вывода

1999. 318 с. Твердый переплет. ISBN 5-8243-0046-1. Букинист. Состояние: 4+. .
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

Книга содержит основные труды автора по теории логического вывода, в том числе монографию "Формальный вывод и логические исчисления".