TY  - JOUR
AU  - D. G. Il'inskii
AU  - A. M. Raigorodskii
AU  - A. B. Skopenkov
TI  - Независимость и доказательства существования в комбинаторике
JO  - Matematicheskoe Prosveshchenie
PY  - 2015
SP  - 164
EP  - 177
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MP_2015_a11/
LA  - ru
ID  - MP_2015_a11
ER  -