14th Days of Weak Arithmetics

14èmes Journées sur les Arithmétiques Faibles

May 22-24, 1997

St.Petersburg, Russia

This conference was
organized with the scientific cooperation
and financial support of
LLAIC1
(Laboratoire de Logique, Algorithmique et
Informatique
de l'Universit&eacute
d'Auvergne Clermont 1).
The conference was also supported by
Russian Foundation for Basic Research
(grant No. 97-01-10022)