λ-смятане и теория на доказателствата 2014/15

Здравейте, колеги,

В Moodle ще качвам записките си към курса, които ще пиша по време на семестъра. За момента са още в началото, но се надявам да напредна. Ако забележите грешки или неточности, моля да пишете във форума за въпроси. Благодаря!

Т. Трифонов