Математикалық логика (тамыз 2026)