Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1986_25_3_a5, author = {D. E. Pal'chunov}, title = {On the undecidability of theories of {Boolean} algebras with a}, journal = {Algebra i logika}, pages = {326--346}, publisher = {mathdoc}, volume = {25}, number = {3}, year = {1986}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1986_25_3_a5/} }
D. E. Pal'chunov. On the undecidability of theories of Boolean algebras with a. Algebra i logika, Tome 25 (1986) no. 3, pp. 326-346. http://geodesic.mathdoc.fr/item/AL_1986_25_3_a5/