logique intuitionniste

concept logique formelle constructive

Nature : terme technique

Catégories : techniques et méthodes · sciences · concepts abstraits

Mots du lexique : logique nom commun, intuitionniste nom commun

Wikidata Q176786 · Wikipédia