Logika Obliczeniowa 2013/14 - wykład : Arkusz2