Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
С
схемы рефлексии
Документи:
Беклемишев, Л. Д.
Схемы рефлексии и алгебры доказуемости в формальной арифметике [Текст] / Л. Д. Беклемишев // Успехи математических наук. – 2005. – 60, Вып.2(362). – 3-78.
Інформаційно-пошукова система
'УФД/Бібліотека'
