TY - RPRT TI - Finding of k in Fagin's R. Theorem 24 AU - Algirdas Antano Maknickas PY - 2016 UR - https://arxiv.org/abs/1012.5804 ID - 1012.5804 ER -