Bolibekyan Hovhannes R.

Publications in Math-Net.Ru

1. 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
2. On the minimal sequential calculi of Robinson’s arithmetic
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2002, no. 3,  20–22
3. Three-valued predicate calculi with the symbol of uncertainty
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2002, no. 2,  44–50