@article{Оревков1989, author = {Оревков, В.П.}, journal = {Zapiski naucnych seminarov Leningradskogo}, keywords = {length of proof; speed-up; Robinson arithmetic}, language = {rus}, pages = {118-126}, publisher = {Nauka}, title = {Замечание об усилении гипотезы Г.Крайзеля}, url = {http://eudml.org/doc/68047}, volume = {176}, year = {1989}, }
TY - JOUR AU - Оревков, В.П. TI - Замечание об усилении гипотезы Г.Крайзеля JO - Zapiski naucnych seminarov Leningradskogo PY - 1989 PB - Nauka VL - 176 SP - 118 EP - 126 LA - rus KW - length of proof; speed-up; Robinson arithmetic UR - http://eudml.org/doc/68047 ER -
