|
Author Index, 1963, Volume 2
N. V. Beljakin
The calculation of effective operators on Turing machines with
restricted erasure
Algebra i Logika. Sem., 1963, Volume 2:1, 19–23
|
L. A. Bokut'
A basis for free polynilpotent Lie algebras
Algebra i Logika. Sem., 1963, Volume 2:4, 13–19
|
Yu. L. Ershov, M. A. Taitslin
Undecidability of certain theories
Algebra i Logika. Sem., 1963, Volume 2:5, 37–41
|
A. T. Gainov
Binary Lie algebras of lower ranks
Algebra i Logika. Sem., 1963, Volume 2:4, 21–40
|
A. T. Gainov
Alternative algebras of rank 3 and 4
Algebra i Logika. Sem., 1963, Volume 2:4, 41–46
|
A. V. Gladkii
On the recognition of replaceability in recursive languages
Algebra i Logika. Sem., 1963, Volume 2:3, 5–22
|
A. V. Gladkii
Grammars with linear memory
Algebra i Logika. Sem., 1963, Volume 2:5, 43–55
|
V. E. Govorov
Semi-injective modules
Algebra i Logika. Sem., 1963, Volume 2:6, 21–50
|
Yu. Sh. Gurevich, A. I. Kokorin
Universal equivalence of ordered Abelian groups
Algebra i Logika. Sem., 1963, Volume 2:1, 37–39
|
M. I. Kargapolov
Classification of ordered Abelian groups by their elementary
properties
Algebra i Logika. Sem., 1963, Volume 2:2, 31–46
|
M. I. Kargapolov
On generalized solvable groups
Algebra i Logika. Sem., 1963, Volume 2:5, 19–28
|
M. I. Kargapolov
Orderable groups. I
Algebra i Logika. Sem., 1963, Volume 2:6, 5–14
|
A. I. Kokorin, see Yu. Sh. Gurevich
Algebra i Logika. Sem., 1963, Volume 2:1, 37–39
|
A. I. Kokorin
On the theory of orderable groups
Algebra i Logika. Sem., 1963, Volume 2:6, 15–20
|
A. V. Kuznetsov
Undecidability of the general problems of completeness,
solvability and equivalence for propositional calculi
Algebra i Logika. Sem., 1963, Volume 2:4, 47–66
|
I. A. Lavrov
The effective non-separability of the set of identically true
formulae and the set of finitely refutable formulae for certain
elementary theories
Algebra i Logika. Sem., 1963, Volume 2:1, 5–18
|
A. A. Lyapunov
Operations on sets
Algebra i Logika. Sem., 1963, Volume 2:2, 47–56
|
A. I. Mal'tsev
Totally enumerated sets
Algebra i Logika. Sem., 1963, Volume 2:2, 4–29
|
Yu. I. Merzlyakov
On the theory of generalized solvable and generalized nilpotent
groups
Algebra i Logika. Sem., 1963, Volume 2:5, 29–36
|
R. M. Robinson
Undecidability of the elementary theory of the field of rational
functions of one variable with rational coefficients
Algebra i Logika. Sem., 1963, Volume 2:4, 5–11
|
A. I. Shirshov
On certain near-Engel groups
Algebra i Logika. Sem., 1963, Volume 2:5, 5–18
|
A. D. Taimanov
Decidability of the elementary theory of sphere inclusion
Algebra i Logika. Sem., 1963, Volume 2:3, 23–27
|
M. A. Taitslin
Undecidability of elementary theories of certain classes of finite
commutative associative rings
Algebra i Logika. Sem., 1963, Volume 2:3, 29–51
|
M. A. Taitslin, see Yu. L. Ershov
Algebra i Logika. Sem., 1963, Volume 2:5, 37–41
|
B. A. Trakhtenbrot
On the frequency computability of functions
Algebra i Logika. Sem., 1963, Volume 2:1, 25–32
|
G. P. Zykin
Remark on a theorem of Hao Wang
Algebra i Logika. Sem., 1963, Volume 2:1, 33–35
|
|
|
Contact us: