Стиль цитування APA (7-ме видання)

Лялецкий, А. (2014). Новые доказательства важных теорем бестипового экстенсионального λ–исчисления. Кибернетика и системный анализ.

Чикаго стиль цитування (17-те видання)

Лялецкий, А.А. "Новые доказательства важных теорем бестипового экстенсионального λ–исчисления." Кибернетика и системный анализ 2014.

Стиль цитування MLA (8-ме видання)

Лялецкий, А.А. "Новые доказательства важных теорем бестипового экстенсионального λ–исчисления." Кибернетика и системный анализ, 2014.

Попередження: стилі цитування не завжди правильні на всі 100%.