Previous |  Up |  Next

Article

Summary:
The article explains a method of proving statements which depend on two natural variables. The method is used in two examples.
Partner of
EuDML logo