Ф.Н. Пахомов. Лекция 17. Системы арифметики второго порядка ACA0 , RCA0 и WKL0