Dodany wyklad z 16 kwietnia 2013.
...
Merge pull request #3 from sapal/master
merged Curry - Howard with Logika pierwszego rzedu
14.05.2013 Lecture notes
Merge pull request #4 from maciej-bendkowski/master

Notatki z 14.05.2013
Definicja modelu Herbranda
Dodany wykład z 22 maja.
Wykład z dnia 4 czerwca (możliwa duża liczba błędów)
...
Drobny fix w rysunku transformacji dowodu TDW
Merge pull request #5 from nkait/master

Fix do rysunku
Spellcheck
Pierwsza część ostatniego wykładu.
Drzewa semantyczne
Rezolucja
Przykłady rezolucji
Poprawiony komentarz w dowodzie prawa Pierce'a.
Poprawiony dowód Lematu 6.