E-podręcznika autorstwa Romana Mazura traktujący o logice elementarnej. W kolejnych rozdziałach można znaleźć informacje m.in. o zdaniach i spójnikach, wartości logicznej, tautologiach i kontrtautologiach, wynikaniu logicznym, wnioskowaniu dedukcyjnym czy kwantyfikatorach. W zrozumieniu materiału pomagają liczne przykłady i zadania.
Dostęp do części zasobów jest płatny, na stronie podano warunki subskrypcji.