Математическая теория логического вывода
Сборник переводов
Идельсон, Александр Васильевич
რედაქტორი
Минц, Г. Е.
რედაქტორი
text
ru
Москва
Наука
1967
monographic
rus
351 с. 22 см
Под ред. А. В. Идельсона и Г. Е. Минца .
Библиогр. в конце статей
Математическая логика - Сборники
მათემატიკური ლოგიკა
Математическая логика и основания математики
RuMoRGB
121029
20180510163624.0
006401473
rus