О существенности параметров и сложности основной формулы в схеме аксиом свертки в арифметике второго порядка.
ДАН СССР, 1978, 243, 6, с. 1384--1386.
Перейти к публикации
Авторы: Кановей В.Г. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2024 Об институте | Контакты | Противодействие коррупции |