Logika Obliczeniowa 2013/14 - laboratorium : Arkusz1