On a logical model of combinatorial problems

The paper proposes a logical model of combinatorial problems, also it gives an example of a problem of the class NP that can not be solved in polynomial time on the dimension of the problem.Comment: 8 pages, 2 figure