In this project, we are concerned with the mathematical analysis of elliptic variational inequalities (V.I.'s) with linear second order elliptic operators. Emphasis is put on V.I.'s of obstacle type problems with noncoercive operators and, also, on V.I.'s with nonlinear source terms. Existence and uniqueness questions are discussed by means of the upper solutions approach and the Banach Contraction Principle.