@article{MZM_2023_114_6_a3,
     author = {A. Yu. Konovalov},
     title = {Basic {Predicate} {Calculus} is {Sound} with {Respect} to a {Modified} {Version} of {Strictly} {Primitive} {Recursive} {Realizability}},
     journal = {Matemati\v{c}eskie zametki},
     pages = {827--847},
     publisher = {mathdoc},
     volume = {114},
     number = {6},
     year = {2023},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_2023_114_6_a3/}
}