D. Skordev
's lecture notes (mainly in Bulgarian)
Lecture notes on Mathematical Logic
Lecture notes on Logic Programming
Oldest version
(not completely finished)
Newer versions
A few texts on topics in Discrete Mathematics
Some information related to the lecture course on Theoretical Foundations of Functional Programming
A few texts on Computability in Analysis
Bulgarian version of this page