Translation of "constructive logic" into French
logique constructive is the translation of "constructive logic" into French.
constructive logic
noun
grammar
Any kind of logic in which any proof of existence can be converted into an algorithm which constructs the mathematical object which it claims to exist.
-
logique constructive
-
Show algorithmically generated translations
Automatic translations of "constructive logic" into French
-
Glosbe Translate
-
Google Translate
Phrases similar to "constructive logic" with translations into French
-
construction logique
Add example
Add