| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Algebra i logika // Archive |
|
1991, Volume 30, Number 5
|
|
Elimination of quantifiers in Horn theories with a small
number of models E. A. Palyutin |
513 | |
|
|
Analogues of Rice's theorem for semantic classes of
propositions M. G. Peretyat'kin |
517 | |
|
|
Identities of finite-dimensional nilpotent algebras E. P. Petrov |
540 | |
|
|
Minimal modules over Prüfer rings V. A. Puninskaya, G. E. Puninskii |
557 | |
|
|
Fine hierarchy of formulas V. L. Selivanov |
568 | |
|
|
Axiomatizability and completeness of some classes of
A. A. Stepanova |
583 | |
|
|
Finite graphs of groups with isomorphic fundamental groups D. G. Khramtsov |
595 | |
|
|
Sessions of the seminar “Algebra i Logika” |
624 | |