The thesis deals with three document retrieval models based on logic: the Boolean model,the fuzzy model and the Van Rijsbergen model.In Chapter 1, the author presents the purpose of the thesis. This is to give the logical foundationof the models, to describe them and to examine them critically. In Chapter 2, some importantnotions in document retrieval are presented. Chapter 3 is devoted to the Boolean model, Chapter4 to the fuzzy model and Chapter 5 to the Van Rijsbergen model.These three chapters are organized in the same way. First, the logical foundation of the modelis given. Then the model is described, and finally the model is discussed. In a short concludingchapter (6), the author summarizes the proceedings and gives a few new views. In an appendix,an alternative characterization of the Boolean retrieval is given.