1.3 Whom is it addressed to

Principally, to anyone who likes logic, computer science, or mathematics. Anyone who wants to prepare the university logic subjects will also gain some useful concepts.

This doesn't pretend to be a complete course for natural deduction, but it will continue being an introduction. When I learn more, I will correct it if necessary, but I won't add more sections (I would write them on external documents).