An user francès
diu…

Une
Determinador
  sémantique
substantiu
  possible
Adjectiu
  de la
  logique
substantiu
  intuitionniste
Adjectiu
  se
Pronom
  fait
Verb
  dans
Adposició
  les
Determinador
  modèles
substantiu
  de
Adposició
 Kripke.

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

Marca això

Millora la teva pronunciació

Amaga l'estructura de la frase

Informa de dades incorrectes

Notes

Sign in to write sticky notes

Questions