Информация об авторе

Мартин-Лёф, Пер

  • Том 9, № 1 (2011) - Логика сегодня
    Аналитические и синтетические суждения в теории типов (пер. О. А. Антоновой, О. Власичевой)
    Подробности  PDF