Поиск :
Личный кабинет :
Электронный каталог: Васильев, С. Н. - Об исчислениях типово-кванторных формул
Васильев, С. Н. - Об исчислениях типово-кванторных формул
Статья
Автор: Васильев, С. Н.
Доклады Академии наук: Об исчислениях типово-кванторных формул
б.г.
ISBN отсутствует
Автор: Васильев, С. Н.
Доклады Академии наук: Об исчислениях типово-кванторных формул
б.г.
ISBN отсутствует
На полку
Статья
Васильев, С. Н.
Об исчислениях типово-кванторных формул / С. Н. Васильев, А. К. Жерлов // Доклады Академии наук.– 1995.– Том 343, № 5.– С. 583-585.
-- 1. Математика.
Васильев, С. Н.
Об исчислениях типово-кванторных формул / С. Н. Васильев, А. К. Жерлов // Доклады Академии наук.– 1995.– Том 343, № 5.– С. 583-585.
-- 1. Математика.
Привязано к:
Выпуск
Доклады Академии наук Том 343, № 5
1995 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доклады Академии наук Том 343, № 5
1995 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН