Total constructive sets with equalities and some their properties
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part II, Tome 8 (1968), pp. 272-280
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{ZNSL_1968_8_a27,
author = {V. A. Shurygin},
title = {Total constructive sets with equalities and some their properties},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {272--280},
publisher = {mathdoc},
volume = {8},
year = {1968},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1968_8_a27/}
}
V. A. Shurygin. Total constructive sets with equalities and some their properties. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part II, Tome 8 (1968), pp. 272-280. http://geodesic.mathdoc.fr/item/ZNSL_1968_8_a27/