Open menu
M. G. Pereti͡atʹkin
Finitely axiomatizable theories