|
|
|
Publications in Math-Net.Ru |
Citations |
|
2010 |
| 1. |
A. A. Chubaryan, H. R. Bolibekyan, “On the Rabin’s speed-up of proofs for some systems of first order logic”, Proceedings of the YSU, Physical and Mathematical Sciences, 2010, no. 1, 61–63  |
1
|
|
2002 |
| 2. |
A. A. Chubaryan, H. R. Bolibekyan, “On the minimal sequential calculi of Robinson’s arithmetic”, Proceedings of the YSU, Physical and Mathematical Sciences, 2002, no. 3, 20–22 |
| 3. |
H. R. Bolibekyan, “Three-valued predicate calculi with the symbol of uncertainty”, Proceedings of the YSU, Physical and Mathematical Sciences, 2002, no. 2, 44–50 |
|
Contact us: