Return to Article Details Application of natural deduction in Renaissance geometry Download Download PDF