Электронный каталог

Книга
УДК 51 М34

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

51 М34

Тезаурус = ГАСНТИ 27.03.19
Тезаурус = Математика : основания математики и математическая логика : математическая логика

571210 Кх