Iniciar sesión
Registrarse
Restablecer contraseña
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Temas
Publicaciones
Revistas
Libros
Actas
Editoriales
Blog
Contacto
Buscar
Carrito
EUR
USD
GBP
Español
English
Deutsch
Polski
Español
Français
Italiano
Home
Revistas
Formalized Mathematics
Volumen 25 (2017): Edición 4 (December 2017)
Acceso abierto
Tarski Geometry Axioms. Part III
Roland Coghetto
Roland Coghetto
y
Adam Grabowski
Adam Grabowski
| 28 mar 2018
Formalized Mathematics
Volumen 25 (2017): Edición 4 (December 2017)
Acerca de este artículo
Artículo anterior
Artículo siguiente
Resumen
Referencias
Autores
Artículos en este número
Vista previa
PDF
Cite
Compartir
Publicado en línea:
28 mar 2018
Páginas:
289 - 313
Recibido:
29 nov 2017
DOI:
https://doi.org/10.1515/forma-2017-0028
Palabras clave
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.