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