|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2010 |
| 1. |
A. A. Chubaryan, H. R. Bolibekyan, “On the Rabin’s speed-up of proofs for some systems of first order logic”, Уч. записки ЕГУ, сер. Физика и Математика, 2010, № 1, 61–63  |
1
|
|
2002 |
| 2. |
А. А. Чубарян, О. Р. Болибекян, “О минимальных секвенциальных исчислениях арифметики Робинсона”, Уч. записки ЕГУ, сер. Физика и Математика, 2002, № 3, 20–22 |
| 3. |
О. Р. Болибекян, “Трехзначные исчисления предикатов с символом неопределенности”, Уч. записки ЕГУ, сер. Физика и Математика, 2002, № 2, 44–50 |
|
Обратная связь: