Многотомник

Логика и компьютер / редкол.: И. М. Макаров [и др.]. – М. : Наука, 1990. – (Кибернетика - неограниченные возможности и возможные ограничения) .
Книга
УЁМОВ 1607

[Т.] 3 : Доказательство и его поиск : (курс логики и компьютерный практикум) (+ дискета). – 1996. – 255 с.

ББК з973-01
ББК з973-047.20

Предметні рубрики = Іменні фонди : іменний фонд Уйомова

1608329 ОФ