On the undecidability of theories of Boolean algebras with a
Algebra i logika, Tome 25 (1986) no. 3, pp. 326-346
Cet article a éte moissonné depuis 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},
year = {1986},
volume = {25},
number = {3},
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/