Chapter 1. An epistemological introduction and a general overview -- Chapter 2. Some basic elements of psychoanalysis according to sigmund freud -- Chapter 3. A brief account of Ignacio Matte Blanco theory and other related psychoanalytic themes -- Chapter 4. First attempts to formalize some main aspects of psychoanalysis: towards a computational psychoanalysis -- Chapter 5. Foundations of classical logic and its applications to informatics -- Chapter 6. The role of unconscious constructs in logic and their applications to informatics -- Chapter 7. Further formalization attempts of Matte Blanco's theory of other psychoanalytic ideas, and their possible applications to informatics.