%0 Journal Article
%A A. Yu. Konovalov
%T Basic Predicate Calculus is Sound with Respect to a Modified Version of Strictly Primitive Recursive Realizability
%J Matematičeskie zametki
%D 2023
%P 827-847
%V 114
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2023_114_6_a3/
%G ru
%F MZM_2023_114_6_a3