Kurs ten służy weryfikacji efektów kształcenia z przedmiotu "wstęp do logiki i teorii mnogości"