Connexion
S'inscrire
Réinitialiser le mot de passe
Publier & Distribuer
Solutions d'édition
Solutions de distribution
Thèmes
Publications
Journaux
Livres
Comptes-rendus
Éditeurs
Blog
Contact
Chercher
Panier
EUR
USD
GBP
Français
English
Deutsch
Polski
Español
Français
Italiano
Home
Journaux
Formalized Mathematics
Édition 25 (2017): Edition 4 (December 2017)
Accès libre
Tarski Geometry Axioms. Part III
Roland Coghetto
Roland Coghetto
et
Adam Grabowski
Adam Grabowski
| 28 mars 2018
Formalized Mathematics
Édition 25 (2017): Edition 4 (December 2017)
À propos de cet article
Article précédent
Article suivant
Résumé
Références
Auteurs
Articles dans cette édition
Aperçu
PDF
Citez
Partagez
Publié en ligne:
28 mars 2018
Pages:
289 - 313
Reçu:
29 nov. 2017
DOI:
https://doi.org/10.1515/forma-2017-0028
Mots clés
Tarski’s geometry axioms
,
foundations of geometry
,
Euclidean plane
© by Roland Coghetto
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) License.