Книга
104 2119

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

ББК В12я43

Предметні рубрики = Електронний ресурс
Дисциплины = Природничі науки : Базовый : Математична логіка
Предметні рубрики = Математика : основания математики, математическая логика : общий раздел : сборники статей

0528821 Ф 1 - 10 комн.
0477564 Ф 1 - 10 комн.
0477563 Ф 1 - 10 комн.
0808405 ОФ
0808875 ОФ
1396051 Ф 1 - 10 комн.
1396853 Ф 1 - 10 комн.