Login
Registrati
Reimposta password
Pubblica & Distribuisci
Soluzioni Editoriali
Soluzioni di Distribuzione
Temi
Pubblicazioni
Riviste
Libri
Atti
Editori
Blog
Contatti
Cerca
Carrello
EUR
USD
GBP
Italiano
English
Deutsch
Polski
Español
Français
Italiano
Home
Riviste
Formalized Mathematics
Volume 25 (2017): Numero 4 (December 2017)
Accesso libero
Tarski Geometry Axioms. Part III
Roland Coghetto
Roland Coghetto
e
Adam Grabowski
Adam Grabowski
| 28 mar 2018
Formalized Mathematics
Volume 25 (2017): Numero 4 (December 2017)
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Sommario
Bibliografia
Autori
Articoli in questo Numero
Anteprima
PDF
Cita
CONDIVIDI
Pubblicato online:
28 mar 2018
Pagine:
289 - 313
Ricevuto:
29 nov 2017
DOI:
https://doi.org/10.1515/forma-2017-0028
Parole chiave
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.