En principi, a qualsevol a qui l'agradi la lògica, la informàtica, o les matemàtiques. Qui vulgui preparar-se per les assignatures de lògica de la universitat també guanyarà alguns conceptes útils.
Aquest no pretén ser un curs complet de deducció natural, sinó que continuarà sent només una introducció. Quan aprengui més, el corregiré si cal, però no hi afegiré més seccions (les faria en documents apart).