Mathématiques Constructives - Henri Lombardi

avec la notion mathématique de récursivité (effectivité mécanique), ce que n' admet pas Bishop. (ni Brouwer et Heyting). Le livre de Aberth, plus facile à lire que ...


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A