APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.