%0 Journal Article
%A A. Yu. Konovalov
%T General recursive realizability and basic logic
%J Algebra i logika
%D 2020
%P 542-566
%V 59
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2020_59_5_a2/
%G ru
%F AL_2020_59_5_a2