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