Применения методов теории доказательств в теории категорий

Front Cover
Элм, 2001 - Algebra - 159 pages

Bibliographic information