In this course, our main aim is to develop abstract variational techniques which can be employed to study the existence of solutions of various Semi-linear elliptic Partial Differential Equations. The main fundamental results, that will be covered in this course, are functional analytic in nature and can be used in many other situations. A basic outline of the course is as follows: