Mikhail G. Peretyat'kin

• Finitely Axiomatizable Theories (Siberian School of Algebra and Logic)