An user francés
di...

Une
Determinador
  sémantique
Substantivo
  possible
Adxectivo
  de la
  logique
Substantivo
  intuitionniste
Adxectivo
  se
Pronome
  fait
Verbo
  dans
Adposición
  les
Determinador
  modèles
Substantivo
  de
Adposición
 Kripke.

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

Marca isto

Mellora a túa pronuncia

Ocultar a estrutura da frase

Informar datos incorrectos

Notes

Sign in to write sticky notes

Questions