The axioms of constructive geometry. Annals of Pure and Applied (1995)

by J von Plato
Venue:Logic, 76, 169–200. FORMAL SYSTEM FOR EUCLID’S ELEMENTS 767 von