Математическая теория логического вывода : Сборник переводов / [Текст] : Под ред. А. В. Идельсона и Г. Е. Минца . - Наука, 1964 . - 351 с. 22 см - Математическая логика и основания математики .

Библиогр. в конце статей




Математическая логика - Сборники

მათემატიკური ლოგიკა