TY - GEN AU - Карпенко А. С. ED - РАН TI - Логические исследования SN - 9785020358607 PY - 2007/// CY - М. PB - Наука ER -