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

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

Примеры формализации некоторых отношений
1961
Калужнин Лев Аркадьевич
1106
0
Что такое математическая логика
1961
Калужнин Лев Аркадьевич
639
0
Преобразования и перестановки
1985
Калужнин Лев Аркадьевич, Сущанский Виталий Иванович
1143
0
Теория определителей
1964
Калужнин Лев Аркадьевич
1708
0
Введение в общую алгебру
1973
Калужнин Лев Аркадьевич
2227
0
Дедуктивная теория предикатов
1961
Калужнин Лев Аркадьевич
1278
0
Что такое математическая логика
1964
Калужнин Лев Аркадьевич
1898
0
Преобразования и перестановки
1979
Калужнин Лев Аркадьевич, Сущанский Виталий Иванович
2214
0
Формула исчисления предикатов
1961
Калужнин Лев Аркадьевич
752
0
The fundamental theorem of arithmetic
1979
Калужнин Лев Аркадьевич
1509
0
Исчисление предикатов
1961
Калужнин Лев Аркадьевич
746
0
Непротиворечивость, полнота исчисления предикатов
1961
Калужнин Лев Аркадьевич
796
0
Деление с остатком
1977
Бельский Аркадий Александрович, Калужнин Лев Аркадьевич
1638
0