This book is aimed at the students of the course: Mathematics for Computer Science of the National University, as support and guide material. It has been developed on the basis of the experience of the authors in the area, and also the valuable comments and reviews of other professors who have worked for a long time in the chair. The main objective has been to provide the student with a material in accordance with the contents of this course, presenting the topics clearly and without omitting details. In addition, it was desirable to present a wide variety of examples that would allow a more timely understanding of each content.

In this way, it is a text that can be used both for the development of the lessons and for individual study. Of course, the book is not intended to be exhaustive, however, it does cover all the Logic and Set Theory topics in the course, so the student can refer to the book without the need to search for other materials.