| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Algebra i logika // Archive |
|
1962, Volume 1, Number 3
|
|
P. G. Kontorovich, V. M. Busarkin |
4 | |
|
|
Certain classes of ordered groups A. I. Kokorin, V. M. Kopytov |
21 | |
|
|
The effective non-separability of the set of identically true
formulae and the set of finitely refutable formulae in the elementary
theory of lattices M. A. Taitslin |
24 | |
|
|
Undecidability of elementary theories of certain rings I. A. Lavrov |
39 | |
|
|
On the elementary theory of subgroup lattices M. I. Kargapolov |
46 | |