,

Completeness of the Infinitary Polyadic Axiomatization.

.
Math. Log. Q., (1993)

Метаданные

тэги

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

  • @dblp

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