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