TY - JOUR AU - N. N. Nepeivoda TI - A~new concept of predicative truth and definability JO - Matematičeskie zametki PY - 1973 SP - 735 EP - 745 VL - 13 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZM_1973_13_5_a12/ LA - ru ID - MZM_1973_13_5_a12 ER -