2019
Том 71
№ 10

Всі номери

Денісов А. С.

Публікацій: 1
Коротке повідомлення (російською)

Выполнимость ярких формул

Денисов А. С.

↓ Абстракт   |   Повний текст (.pdf)

Укр. мат. журн. - 2007. - 59, № 10. - С. 1432–1435

Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього.