Книга посвящена пограничным вопросам математики и семантики.
Новый подход делает основные разделы единственными в литературе, поэтому изложение начато с простейших понятий. Несмотря на строгость изложения книга является доступной широкому кругу читателей.