An user French
says…

Une
Determiner
  sémantique
Noun
  possible
Adjective
  de la
  logique
Noun
  intuitionniste
Adjective
  se
Pronoun
  fait
Verb
  dans
Adposition
  les
Determiner
  modèles
Noun
  de
Adposition
 Kripke.

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

Bookmark this

Improve your pronunciation

Hide sentence structure

Report incorrect data

Notes

Sign in to write sticky notes

Questions