TY - JOUR AU - E. E. Vityaev AU - V. V. Martinovich TI - Formalization of <> classification and systematics as fix-points ofpredictions JO - Sibirskie èlektronnye matematičeskie izvestiâ PY - 2015 SP - 1006 EP - 1031 VL - 12 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SEMR_2015_12_a31/ LA - ru ID - SEMR_2015_12_a31 ER -