Кафедра систем информатики ФИТ

Контактное лицо

Результаты исследований

  1. Permutation Groups and Ideals of Turing Degrees

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  2. Numberings on Admissible Structures over Equivalence Relations

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  3. Negative Numberings in Admissible Sets. II

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Просмотреть все (18) »

ID: 12589122