Logical methods — KazNU