Open menu
Mikhail G. Peretyatkin
Finitely axiomatizable theories