Результаты поиска

Предлагаемые темы внутри своего поиска.
  • Отображение 1 - 1 результаты of 1
Отмена результатов
  1. 1

    Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /

    Опубликовано 1984
    Материалы конференции