RUSIST
Единый реестр книг

Калужнин, Лев Аркадьевич (1914)

Показать все ссылки каталога
Примеры формализации некоторых отношений
1961
Калужнин Лев Аркадьевич
1149
0
Немецко-русский математический словарь = Deutsch-russisches mathematisches Worterbuch : Ок. 30000 терминов
1980
Калужнин Лев Аркадьевич
1904
0
Что такое математическая логика
1961
Калужнин Лев Аркадьевич
675
0
Преобразования и перестановки
1985
Калужнин Лев Аркадьевич, Сущанский Виталий Иванович
1177
0
Теория определителей
1964
Калужнин Лев Аркадьевич
1758
0
Введение в общую алгебру
1973
Калужнин Лев Аркадьевич
2279
0
Краткий курс теории Галуа : Для студентов-заочников : Вып. 2-
1967
Калужнин Лев Аркадьевич
1089
0
Элементы теории множеств и математической логики в школьном курсе математики
1978
Калужнин Лев Аркадьевич
2032
0
Дедуктивная теория предикатов
1961
Калужнин Лев Аркадьевич
1313
0
О книге Г. Фрейденталя "Линкос" : План языка для космических сообщений
1963
Калужнин Лев Аркадьевич
651
0
Что такое математическая логика
1964
Калужнин Лев Аркадьевич
1930
0
Преобразования и перестановки
1979
Калужнин Лев Аркадьевич, Сущанский Виталий Иванович
2241
0
Формула исчисления предикатов
1961
Калужнин Лев Аркадьевич
805
0
The fundamental theorem of arithmetic
1979
Калужнин Лев Аркадьевич
1546
0
Силовские р-подгруппы симметрических групп. Полные произведения групп. Обобщение теории Галуа : Автореферат дис. на соискание учен. степени доктора физ.-мат. наук
1957
Калужнин Лев Аркадьевич
2329
0
Исчисление предикатов
1961
Калужнин Лев Аркадьевич
803
0
Непротиворечивость, полнота исчисления предикатов
1961
Калужнин Лев Аркадьевич
834
0
Деление с остатком
1977
Бельский Аркадий Александрович, Калужнин Лев Аркадьевич
1691
0