@article{MZM_2022_111_2_a6,
     author = {A. Yu. Konovalov},
     title = {Basic {Predicate} {Calculus} is not {Sound} with {Respect} to the {Strong} {Variant} of {Strictly} {Primitive} {Recursive} {Realizability}},
     journal = {Matemati\v{c}eskie zametki},
     pages = {241--257},
     publisher = {mathdoc},
     volume = {111},
     number = {2},
     year = {2022},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_2022_111_2_a6/}
}