![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
A survey of the author’s main results obtained during his lifetime is offered in the context of research in the field of constructive logic conducted in the USSR and Russia (and not only) in the last 50 years