This text presents rigorous treatment of boundary value problems in non-linear theory of shallow shells. The consideration of the problem is carried out using methods of non-linear functional analysis.