%0 Journal Article
%A A. Yu. Konovalov
%T Basic Predicate Calculus is not Sound with Respect to the Strong Variant of Strictly Primitive Recursive Realizability
%J Matematičeskie zametki
%D 2022
%P 241-257
%V 111
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2022_111_2_a6/
%G ru
%F MZM_2022_111_2_a6