Учебник Пономарева И.Н. Введение в математическую логику и роды структур, а также материалы к лекциям и семинарам, проведенным им на Кафедре концептуального анализа и проектирования с 2008 г. Также представлена программа Бурбакизатор для введения и оперирования концептуальными схемами на ЯРЭ (языке родоструктурной экспликации).