Записки на
Д. Скордев
Записки по математическа логика
Записки по логическо програмиране
Най-стара версия (не напълно завършена)
По-нови версии
Някои текстове по въпроси от дискретната математика
Някои сведения, имащи връзка с курса по теоретични основи на функционалното програмиране
Някои текстове по изчислимост в анализа
English version of this page