Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1962_1_3_a2, author = {M. A. Taitslin}, title = {The effective non-separability of the set of identically true}, journal = {Algebra i logika}, pages = {24--38}, publisher = {mathdoc}, volume = {1}, number = {3}, year = {1962}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1962_1_3_a2/} }
M. A. Taitslin. The effective non-separability of the set of identically true. Algebra i logika, Tome 1 (1962) no. 3, pp. 24-38. http://geodesic.mathdoc.fr/item/AL_1962_1_3_a2/