Непейвода, Н. 2012. Конструктивная математика: обзор достижений, недостатков и уроков. Часть 2. Логические исследования. 18, (май 2012), 157-181. DOI:https://doi.org/10.21146/2074-1472-2012-18-0-157-181.