%0 Journal Article %A M. M. Kipnis %T A~constructive classification of arithmetical predicates and semantical bases for arithmetic %J Zapiski Nauchnykh Seminarov POMI %D 1968 %P 53-65 %V 8 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_1968_8_a6/ %G ru %F ZNSL_1968_8_a6