Department of Mathematical Logic and Applications

The Resources Page

• Lecture notes on Mathematical Logic by Prof. D. Skordev (in Bulgarian)
• Lecture notes on Logic Programming by Prof. D. Skordev (in Bulgarian)
• Some Prolog Exercises by Prof. Vesela Baleva (in Bulgarian)
• A Prolog Compiler: Strawberry Prolog
• We try to make our web-pages valid HTML 4.01 Transitional! You can look at their GTML sources.
• More resources you can find on the individual web-pages of our members.

Last edition: 16 November 2010 at 09:19 EET