Decidability of the elementary theory of relatively complemented
Algebra i logika, Tome 3 (1964) no. 3, pp. 17-38
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1964_3_3_a2,
author = {Yu. L. Ershov},
title = {Decidability of the elementary theory of relatively complemented},
journal = {Algebra i logika},
pages = {17--38},
publisher = {mathdoc},
volume = {3},
number = {3},
year = {1964},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1964_3_3_a2/}
}
Yu. L. Ershov. Decidability of the elementary theory of relatively complemented. Algebra i logika, Tome 3 (1964) no. 3, pp. 17-38. http://geodesic.mathdoc.fr/item/AL_1964_3_3_a2/