Varieties of generalized standard and generalized accessible algebras G. V. Dorofeev OriginalPaper Pages: 90 - 104
The principle of separation of variables in propositional logics L. L. Maksimova OriginalPaper Pages: 105 - 114
Hereditarily finitely axiomatizable extensions of logic S4 V. V. Rybakov OriginalPaper Pages: 115 - 128
Enumerations of families of general recursive functions V. L. Selivanov OriginalPaper Pages: 128 - 141
Undecidable universal theories of lattices of subgroups of Abelian groups A. M. SlobodskoiÉ. I. Fridman OriginalPaper Pages: 142 - 146