,

Theories with Recursive Models.

, и .
J. Symb. Log., 44 (1): 59-76 (1979)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии