A formal system for Euclid’s Elements (0)

by Jeremy Avigad, Edward Dean, John Mumma
Venue:Review of Symbolic Logic