Describir: Finitely axiomatizable theories / Mikhail G. Peretyatʹkin.