An user французский
говорит…

Une
Определитель
  sémantique
Существительное
  possible
Прилагательное
  de la
  logique
Существительное
  intuitionniste
Прилагательное
  se
Местоимение
  fait
Глагол
  dans
Присоединение
  les
Определитель
  modèles
Существительное
  de
Присоединение
 Kripke.

Возможная семантика интуиционистской логики осуществляется в моделях Крипке.
Слова и предложения
Новый
de la

  1. of the
  2. some; the feminine partitive article

Новый
logique

Новый
intuitionniste

intuitionist

Новый
fait

Новый
dans

Новый
les

Новый
modèles

Новый
de

Comments