Обычный вид MARC21 Карточка

     Математическая теория логического вывода. Сборник переводов. / Идельсон А В., Минц Г Е. (ред.). — Москва : Наука, 1967. — 350 с. (Математическая логика и основания математики).


Идельсон, А. В.
Минц, Г. Е.

УДК: 51:164

[ SYS NUM: 5183 ]