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