Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
ПРАВИЛА КОРИСТУВАННЯ ЕК
Пошук
Відібрані
Формуляр
Опис документа
Сайт бібліотеки
Сайт ВНТУ
Українська
English
Авторизація
Шифр читача:
Пароль:
Увійти
Відмінити
ERROR
Пынько, А. П.
Генценовское исчисление с устранимым сечением и свойством подформульности для первопорядкового следования логики Дамметта
[Текст] / А. П. Пынько
// Доповіді НАНУ. – 2004. – № 5. – 69-73.
УДК 510.6
Додати до списку
Теми документа
Ключові слова/Л/логіка, логика/логика Дамметта
Ключові слова/П/подформульность
Ключові слова/О/обчислення, вычисление = исчисление/исчисление генценовское
Ключові слова/П/переріз, сечение
Інформаційно-пошукова система
'УФД/Бібліотека'