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