О некоторых проблемах дескриптивной теории множеств и определимости в теории типов.
Исследования по неклассическим логикам и формальным системам,
М., Наука, 1983, с. 21--81
| Авторы: Кановей В.Г. |
 |
|
||||||||||||||||||||||||||||||||||
| русский | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2024
Об институте | Контакты | Противодействие коррупции