Поиск :
Личный кабинет :
Электронный каталог: Кузнецов, А. В. - О доказуемостно-интуиционистском пропозициональном исчислении
Кузнецов, А. В. - О доказуемостно-интуиционистском пропозициональном исчислении
Статья
Автор: Кузнецов, А. В.
Доклады Академии наук СССР: О доказуемостно-интуиционистском пропозициональном исчислении
б.г.
ISBN отсутствует
Автор: Кузнецов, А. В.
Доклады Академии наук СССР: О доказуемостно-интуиционистском пропозициональном исчислении
б.г.
ISBN отсутствует
На полку
Статья
Кузнецов, А. В.
О доказуемостно-интуиционистском пропозициональном исчислении / А. В. Кузнецов // Доклады Академии наук СССР.– 1985.– Т. 283, № 1.– С. 27-29.
-- 1. Математика.
Кузнецов, А. В.
О доказуемостно-интуиционистском пропозициональном исчислении / А. В. Кузнецов // Доклады Академии наук СССР.– 1985.– Т. 283, № 1.– С. 27-29.
-- 1. Математика.
Привязано к:
Выпуск
Доклады Академии наук СССР Т. 283, № 1
1985 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доклады Академии наук СССР Т. 283, № 1
1985 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН