The effective non-separability of the set of identically true
Algebra i logika, Tome 2 (1963) no. 1, pp. 5-18
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{AL_1963_2_1_a0,
author = {I. A. Lavrov},
title = {The effective non-separability of the set of identically true},
journal = {Algebra i logika},
pages = {5--18},
year = {1963},
volume = {2},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1963_2_1_a0/}
}
I. A. Lavrov. The effective non-separability of the set of identically true. Algebra i logika, Tome 2 (1963) no. 1, pp. 5-18. http://geodesic.mathdoc.fr/item/AL_1963_2_1_a0/