Arithmétique de Heyting
De Wikipedia, l'encyclopédie encyclopedia
L'arithmétique de Heyting est une axiomatisation de l'arithmétique dans le cadre de la logique intutionniste. Elle a été développée à l'origine par Arend Heyting.
L'arithmétique de Heyting est une axiomatisation de l'arithmétique dans le cadre de la logique intutionniste. Elle a été développée à l'origine par Arend Heyting.