TY - JOUR AU - D. A. Serkov TI - On the construction of a predicate truth set JO - Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta PY - 2017 SP - 45 EP - 61 VL - 50 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IIMI_2017_50_a5/ LA - ru ID - IIMI_2017_50_a5 ER -