The links included in this page are quite unsystematic and reflect my own preferencies only (but not all of them).
* * *
Colleagues&Friends in Bulgaria
My Section of Logic:
http://www.math.bas.bg/~logic
My colleagues at the Department of Mathematical Logic and Applications:
http://www.fmi.uni-sofia.bg/fmi/logic
The Linguistic Modelling Department:
http://www.lml.bas.bg
In memoriam
Georgi Gargov:
http://www.lml.bas.bg/gogo.html
D. Dobrev is the author of the original
Strawberry Prolog
: