Об одной оценке сложности теорий графов

Приводится оценка сложности множества формул, определяющих типы в полных теориях графов с формульно заданными блоками, по числу свободных переменных, имеющихся в этих формулах. Эта оценка обобщает доказанное утверждение об определимости типов в теориях ациклических графов формулами, зависящими не более чем от двух свободных переменных.
Библиогр. 4.