TY - JOUR AU - D. A. Serkov TI - An approach to analysis of the set of truth: unlocking of predicate JO - Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki PY - 2016 SP - 525 EP - 534 VL - 26 IS - 4 UR - http://geodesic.mathdoc.fr/item/VUU_2016_26_4_a6/ LA - ru ID - VUU_2016_26_4_a6 ER -