This self-contained textbook provides the basic, abstract tools used in nonlinear analysis and their applications to semilinear elliptic boundary value problems and displays how various approaches can easily be applied to a range of model cases.Complete with a preliminary chapter, an appendix that includes further results on weak derivatives, and chapter-by-chapter exercises, this book is a practical text for an introductory course or seminar on nonlinear functional analysis.