«Перевод выводимости в классической теории множеств в интуиционистскую теорию множеств для языка колец»
Алгебра и Логика (СО АН СССР),
Новосибирск, 1991, т. 30, № 6, сс. 652–670.
Перейти к публикации
| Авторы: Любецкий В.А. |
 |
|
||||||||||||||||||||||||||||||||||
| русский | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2025
Об институте | Контакты | Противодействие коррупции