Szczerba Lesław Włodzimierz 1938 2010

Interpretability and axiomatizability