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