Leram - Topological and Variational Methods with Applications to Nonlinear Boundary Value Problems