Results for "Logique symbolique et mathématique"