Болибекян Оганес Рафаелович

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

1. On the Rabin’s speed-up of proofs for some systems of first order logic
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2010, № 1,  61–63
2. О минимальных секвенциальных исчислениях арифметики Робинсона
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2002, № 3,  20–22
3. Трехзначные исчисления предикатов с символом неопределенности
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2002, № 2,  44–50