Логика и анализ онтологических предпосылок языков теорийтезисы доклада