Версия для слепых
Конструктивное исчисление высказываний с сильным отрицанием
Конструктивное исчисление высказываний с сильным отрицанием

Конструктивное исчисление высказываний с сильным отрицанием

Год издания
Москва
Место издания

О произведении

Издательство
Ответственность
Мат. ин-т им. В. А. Стеклова Акад. наук СССР
Язык
Русский
Библиотека
Российская государственная библиотека (РГБ)

Другие диссертации автора

Некоторые задачи теории кривых брусьев с круговой осью Российская государственная библиотека (РГБ)

Посмотреть все произведения автора

Вы находитесь на новой версии портала Национальной Электронной Библиотеки. Если вы хотите воспользоваться старой версией, перейдите по ссылке .