TY - RPRT TI - On Successive Approximations To The Choice Problem and Logic AU - Valeriy Bulitko PY - 2002 UR - https://arxiv.org/abs/math/0205325 ID - math/0205325 ER -