Е. Смирнова, «И.Кант И Гильбертовская теория доказательств (роль идеальных образов у Д.Гильберта и И.Канта).», ЛИ, т. 3, сс. 5-23, ноя. 1995.