|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
О двух расширениях логики доказуемости GLстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Шавруков Владимир Юрьевич
- Журнал: Математический сборник
- Том: 181
- Номер: 2
- Год издания: 1990
- Издательство: МИАН
- Местоположение издательства: Москва
- Первая страница: 240
- Последняя страница: 255
- Добавил в систему: Золин Евгений Евгеньевич