Шевяков В С

Публикации в базе данных Math-Net.Ru

1. О формулах узкого исчисления предикатов, отличающих некоторые классы моделей с просто вычислимыми предикатами
   
   Докл. АН СССР, 210:2 (1973),  285–287