Description : traduire et formaliser.
Niveau : U1
Mots-clés : logic quantifier methodology math_symbols
Domaine : algebra analysis geometry - Langue : fr
Catégorie : exercise
Auteur(s) : Fabrice,Guerimand - Contact : fwguerima@free.fr
Adresse : module=U1/logic/tradform.fr
Version : 1.07 - Copyright 2004 2019 2022 2023 Fabrice,Guerimand
This work is licensed under the GNU GPL: http://www.gnu.org/licences/gpl.html