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

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

Примеры формализации некоторых отношений
1961
Калужнин Лев Аркадьевич
1150
0
Что такое математическая логика
1961
Калужнин Лев Аркадьевич
679
0
Преобразования и перестановки
1985
Калужнин Лев Аркадьевич, Сущанский Виталий Иванович
1179
0
Теория определителей
1964
Калужнин Лев Аркадьевич
1762
0
Введение в общую алгебру
1973
Калужнин Лев Аркадьевич
2282
0
Дедуктивная теория предикатов
1961
Калужнин Лев Аркадьевич
1315
0
Что такое математическая логика
1964
Калужнин Лев Аркадьевич
1932
0
Преобразования и перестановки
1979
Калужнин Лев Аркадьевич, Сущанский Виталий Иванович
2244
0
Формула исчисления предикатов
1961
Калужнин Лев Аркадьевич
812
0
The fundamental theorem of arithmetic
1979
Калужнин Лев Аркадьевич
1553
0
Исчисление предикатов
1961
Калужнин Лев Аркадьевич
804
0
Непротиворечивость, полнота исчисления предикатов
1961
Калужнин Лев Аркадьевич
836
0
Деление с остатком
1977
Бельский Аркадий Александрович, Калужнин Лев Аркадьевич
1693
0