%0 Journal Article
%A A. Yu. Konovalov
%T Arithmetical realizability and basic logic
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2016
%P 52-56
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_2016_1_a8/
%G ru
%F VMUMM_2016_1_a8