Поиск :
Личный кабинет :
Электронный каталог: Заславский, Игорь Дмитриевич - Симметрическая конструктивная логика
Заславский, Игорь Дмитриевич - Симметрическая конструктивная логика
Доступно
1 из 1
1 из 1
Книга
Автор: Заславский, Игорь Дмитриевич
Симметрическая конструктивная логика
Издательство: Изд-во Акад. наук АрмССР, 1978 г.
ISBN отсутствует
Автор: Заславский, Игорь Дмитриевич
Симметрическая конструктивная логика
Издательство: Изд-во Акад. наук АрмССР, 1978 г.
ISBN отсутствует
Книга
51 м.л. З-362
Заславский, Игорь Дмитриевич.
Симметрическая конструктивная логика / И. Д. Заславский; Отв. ред. Г. Е. Минц . - Ереван : Изд-во Акад. наук АрмССР, 1978 . - 281 с. - В надзаг.: АН АрмССР, ВЦ . - Библиогр.: С. 272-279 . - Указ. формул и соотношений: с. 280 . - На рус. яз. : 2.65 .
ББК 22.122
основной = математика
основной = математика : математическая логика
основной = философия : логика : классическая логика
основной = философия : логика : традиционная логика
основной = математика : математическая логика : исчисление предикатов
00000000605132 МАТН 51 м.л. З-362
51 м.л. З-362
Заславский, Игорь Дмитриевич.
Симметрическая конструктивная логика / И. Д. Заславский; Отв. ред. Г. Е. Минц . - Ереван : Изд-во Акад. наук АрмССР, 1978 . - 281 с. - В надзаг.: АН АрмССР, ВЦ . - Библиогр.: С. 272-279 . - Указ. формул и соотношений: с. 280 . - На рус. яз. : 2.65 .
ББК 22.122
основной = математика
основной = математика : математическая логика
основной = философия : логика : классическая логика
основной = философия : логика : традиционная логика
основной = математика : математическая логика : исчисление предикатов
00000000605132 МАТН 51 м.л. З-362