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

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

1999. 318 с. ISBN 5-8243-0046-1. Букинист. Состояние: 4+. .
  • Твердый переплет

Аннотация

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