Аналитические и синтетические суждения в теории типов (пер. О. А. Антоновой, О. Власичевой)

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

Полный текст:

PDF

Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2015 Пер Мартин-Лёф

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.