Dodany wyklad z 16 kwietnia 2013.
...
merged Curry - Howard with Logika pierwszego rzedu