%0 Journal Article
%A A. Yu. Konovalov
%T Arithmetical realizability and primitive recursive realizability
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2016
%P 60-64
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_2016_4_a9/
%G ru
%F VMUMM_2016_4_a9