И.Неъматов; С.Кукиева. ПРЕДИКАТЛАР ВА КВАНТОРЛАР ЁРДАМИДА ТЕОРЕМАЛАРНИ ТУЗИШ. SJFSU 2023, 2.