Algebra Logika, 1991, Volume 30, Number 5

Algebra i logika

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

1991, Volume 30, Number 5

	Elimination of quantifiers in Horn theories with a small number of models E. A. Palyutin		513–516
	Analogues of Rice's theorem for semantic classes of propositions M. G. Peretyat'kin		517–539
	Identities of finite-dimensional nilpotent algebras E. P. Petrov		540–556
	Minimal modules over Prüfer rings V. A. Puninskaya, G. E. Puninskii		557–567
	Fine hierarchy of formulas V. L. Selivanov		568–582
	Axiomatizability and completeness of some classes of $S$-polygons A. A. Stepanova		583–594
	Finite graphs of groups with isomorphic fundamental groups D. G. Khramtsov		595–623
	Sessions of the seminar “Algebra i Logika”		624