This conference was
organized with the scientific cooperation
and financial support of
(Laboratoire de Logique, Algorithmique et
d'Auvergne Clermont 1).
The conference was also supported by Russian Foundation for Basic Research (grant No. 97-01-10022)
Programme of 14th Days of Weak Arithmetics. (Abstracts of some talks are also available here.)
Back to the laboratory of mathematical logic