Author: Russia) Mezhrespublikanskai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike (11th 1992? Kazanʹ