Algèbre Constructive - LIFL

Henri.Lombardi@univ-fcomte.fr, http://hlombardi.free.fr. Résumé. Au tournant du ... Le livre d'Erret Bishop Foundations of constructive analysis paru en 1967, ...


Un extrait du document