О категоричности конечно-порожденных алгебраических систем и HF-логике В.Я. Беляев; Е.Е. Лютикова; В.Н. Ремесленников; I. Ja. Beljaev — 1995 Algebra i Logika