Some variants of the notion of realizability for predicate formulas
Doklady Akademii Nauk, Tome 226 (1976) no. 1, pp. 61-64
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1976_226_1_a14,
author = {V. E. Plisko},
title = {Some variants of the notion of realizability for predicate formulas},
journal = {Doklady Akademii Nauk},
pages = {61--64},
publisher = {mathdoc},
volume = {226},
number = {1},
year = {1976},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1976_226_1_a14/}
}
V. E. Plisko. Some variants of the notion of realizability for predicate formulas. Doklady Akademii Nauk, Tome 226 (1976) no. 1, pp. 61-64. http://geodesic.mathdoc.fr/item/DAN_1976_226_1_a14/