DMCA

A formal system for Euclid’s elements (2009)

Cached

Download Links

by Jeremy Avigad , Edward Dean , John Mumma
Venue:THE REVIEW OF SYMBOLIC LOGIC
Citations:15 - 2 self