Kurs stanowi uzupełnienie do  ćwiczeń prowadzonych do  wykładu "Logika I" prof. K. Wójtowicza