Convergence of a full discretisation method is studied for a class of nonlinear second-order in time evolution equations, where the nonlinear operator acting on the first-order time derivative of the solution is supposed to be hemicontinuous, monotone, coercive and to satisfy a certain growth condition, and the operator acting on the solution is assumed to be linear, bounded, symmetric, and str...