Wyklad monograficzny, II semestr 2004/5
Rozdzial 1
(beztypowy rachunek lambda)
Rozdzial 2
(intuicjonistyczny rachunek zdan)
Rozdzial 3
(rachunek lambda z typami prostymi)
Rozdzial 4
(izomorfizm Curry'ego-Howarda)
Rozdzial 5
(rachunek kombinatorow)
Rozdzial 6
(logika klasyczna)
Rozdzial 7
(rachunek sekwentow)
Rozdzial 8
(logika pierwszego rzedu)
Rozdzial 9
(arytmetyka Peano i Heytinga)
Rozdzial 10
(system T)
Rozdzial 11
(logika zdaniowa drugiego rzedu
i polimorficzny rachunek lambda)
Rozdzial 12
(arytmetyka drugiego rzedu)
Rozdzial 13
(typy zalezne)
Rozdzial 14
(rachunek konstrukcji itp.)
Dodatek
(rozne definicje itp.)
Materialy dodatkowe:
Wyklad z rachunku lambda po polsku