Existence theorems for nonlinear second order boundary value problems