Wykład VI. Rachunek zdań (kurs MAD)