Ajouté par Patrick Baillot il y a plus de 8 ans
Revised the definitions at the beginning of sect 4, and added after Def 14 a comment about B^i and integer positive formulas.
Voir les différences