Кафедра алгебры и математической логики ММФ

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

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

  1. The Interpolation Problem in Finite-Layered Pre-Heyting Logics

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

  2. Recognizability in pre-Heyting and well-composed logics

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

  3. Extensions of the Minimal Logic and the Interpolation Problem

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

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

ID: 3431781