|
 |
|
|||||||||
|
|
Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук *
Отдел математической логики Лаборатория теории вычислимости и прикладной логики
| ||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||
|
|
Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук *
Отдел математической логики Лаборатория теории вычислимости и прикладной логики
| ||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||
|
|