Мартин-Лёф П. (1975). Очерки по конструтивной математике. Мир.
Цитирование в стиле Чикаго (17-е изд.)Мартин-Лёф П. Очерки по конструтивной математике. М: Мир, 1975.
Цитирование MLA (8-е изд.)Мартин-Лёф П. Очерки по конструтивной математике. Мир, 1975.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.