|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Теоремы о полноте и устранении сечения в классической логике высокого порядка. Конструктивные методыстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Драгалин Альберт Григорьевич
- Журнал: Известия высших учебных заведений. Математика
- Номер: 3
- Год издания: 1993
- Издательство: Изд-во Казан. ун-та
- Местоположение издательства: Казань
- Первая страница: 3
- Последняя страница: 18
- Аннотация: URL: http://mi.mathnet.ru/ivm4372
- Добавил в систему: Золин Евгений Евгеньевич