Some variants of the notion of realizability for predicate formulas
Izvestiya. Mathematics , Tome 12 (1978) no. 3, pp. 588-604
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{IM2_1978_12_3_a9,
author = {V. E. Plisko},
title = {Some variants of the notion of realizability for predicate formulas},
journal = {Izvestiya. Mathematics },
pages = {588--604},
publisher = {mathdoc},
volume = {12},
number = {3},
year = {1978},
language = {en},
url = {http://geodesic.mathdoc.fr/item/IM2_1978_12_3_a9/}
}
V. E. Plisko. Some variants of the notion of realizability for predicate formulas. Izvestiya. Mathematics , Tome 12 (1978) no. 3, pp. 588-604. http://geodesic.mathdoc.fr/item/IM2_1978_12_3_a9/