TY  - JOUR
AU  - A. A. Chubaryan
AU  - H. R. Bolibekyan
TI  - On the Rabin’s speed-up of proofs for some systems of first order logic
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2010
SP  - 61
EP  - 63
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2010_1_a10/
LA  - en
ID  - UZERU_2010_1_a10
ER  -