Triết học Toán học và Lý thuyết Chứng minh

Chuyên khảo phân tích A historical approach to understanding explanatory proofs based o, đánh giá các khía cạnh quan trọng, đề xuất hướng nghiên cứu tiếp theo.