View in EDS PDF Full Text

Tarski Geometry Axioms. Part III.

Saved in:
Bibliographic Details
Title: Tarski Geometry Axioms. Part III.
Authors: Coghetto, Roland, Grabowski, Adam1
Source: Formalized Mathematics. Dec2017, Vol. 25 Issue 4, p289-313. 25p.
Database: Academic Search Ultimate
Description
ISSN:14262630
DOI:10.1515/forma-2017-0028