Density functional methods form the basis of a diversified and very active area of present days computational atomic, molecular, solid state and even nuclear physics. A large number of computational physicists use these meth ods merely as a recipe, not reflecting too much upon their logical basis. One also observes, despite of their tremendeous success, a certain reservation in their acceptance on the part of the more theoretically oriented researchers in the above mentioned fields. On the other hand, in the seventies (Thomas Fermi theory) and in the eighties (Hohenberg-Kohn theory), density func tional concepts became subjects of mathematical physics. In 1994 a number of activities took place to celebrate the thirtieth an niversary of Hohenberg-Kohn-Sham theory. I took this an occassion to give lectures on density functional theory to senior students and postgraduates in the winter term of 1994, particularly focusing on the logical basis of the the ory. Preparing these lectures,