TY - JOUR AU - N. V. Beljakin TI - Generalized computations, and third order arithmetic JO - Algebra i logika PY - 1974 SP - 132 EP - 144 VL - 13 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1974_13_2_a1/ LA - ru ID - AL_1974_13_2_a1 ER -