%0 Journal Article
%A A. Yu. Konovalov
%T General recursive realizability and intuitionistic logic
%J Algebra i logika
%D 2021
%P 137-144
%V 60
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2021_60_2_a1/
%G ru
%F AL_2021_60_2_a1