| design |
| home page |
![]() |
| The proceedings have been published by Springer Verlag, LNCS 1289. As this workshop has been a great sucess similar workshops are planned and will become a fix part of the Collegium Logicum. Setzer has provided a list of research groups for mathematical logic, philosophical logic and theoretical computer science on the WWW, which contains links to related topics as well. Membership Everyone interested in the activities of the society is invited to become a member. . |