@kbtu.kz
Kazakh British Technical University, School of Applied Mathematics Maratbek Gabdullin
model theory