#include "header"

<h2>The Resources Page</h2>

<ul>
   <li>
      Lecture notes on
      <fmiurl>skordev/ln/ml/start.htm,Mathematical<_>Logic</fmiurl> by
      Prof. D.<>Skordev (in Bulgarian)
   </li>
   <li>
      Lecture notes on
      <fmiurl>skordev/ln/lp/index.html,Logic<_>Programming</fmiurl> by
      Prof. D.<>Skordev (in Bulgarian)
   </li>
   <li>
      Some <fmiurl>vbaleva/Exercises.htm,Prolog<_>Exercises</fmiurl>
      by Prof.<>Vesela Baleva (in Bulgarian)
   </li>
   <li>
      A Prolog Compiler: <url>http://www.dobrev.com,Strawberry<_>Prolog</url>
   </li>
   <li>
      We try to make our web-pages
      <url>http://validator.w3.org/check/referer,valid</url> HTML 4.01
      Transitional! You can <url>gtml/index.html,look at</url> their
      <url>http://www.lifl.fr/~beaufils/gtml/,GTML</url> sources.
   </li>
   <li>
      More resources you can find on the individual web-pages of our
      <url>[[MEMBERS_EN]],members</url>.
   </li>
</ul>

#include "footer"