Математическая логика [Электронный ресурс] / разраб. В. К. Финн // Примерная основная образовательная программа высшего профессионального образования [Электронный ресурс] : направление подгот. 03600 - Интеллектуальные системы в гуманитарной сфере ; квалификация (степень) вып. - бакалавр / М-во образования и науки Рос. Федерации, Учеб.-метод. об-ние вузов Рос. Федерации по образованию в обл. ист.-архивоведения, Рос. гос. гуманитарный ун-т ; [разраб.: О. М. Аншаков и др.]. - М. : РГГУ, 2010. - С. 29-35.
