An user français
dit…

Une
Déterminant
  sémantique
Nom
  possible
Adjectif
  de la
  logique
Nom
  intuitionniste
Adjectif
  se
Pronom
  fait
Verbe
  dans
Adposition
  les
Déterminant
  modèles
Nom
  de
Adposition
 Kripke.

A possible semantics of intuitionist logic is made in Kripke's models.

Ajoutez ceci à vos favoris

Améliorez votre prononciation

Masquer la structure de la phrase

Signaler des données incorrectes

Notes

Sign in to write sticky notes

Questions