Структура и смысл (формальные методы анализа в современной науке) - Попович М. В. (Киев, Наукова думка, 1989)