Tarski Geometry Axioms. Part III

Roland Coghetto, Adam Grabowski
  • Formalized Mathematics, December 2017, De Gruyter
  • DOI: 10.1515/forma-2017-0028
The author haven't yet claimed this publicationThe author haven't yet claimed this publication
Read Publication

http://dx.doi.org/10.1515/forma-2017-0028

In partnership with: