Logique Intuitionniste

concept

logique formelle constructive

Propriétés