Login
Registrieren
Passwort zurücksetzen
Veröffentlichen & Verteilen
Verlagslösungen
Vertriebslösungen
Themen
Veröffentlichungen
Zeitschriften
Bücher
Konferenzberichte
Verlage
Blog
Kontakt
Suche
Warenkorb
EUR
USD
GBP
Deutsch
English
Deutsch
Polski
Español
Français
Italiano
Home
Zeitschriften
Formalized Mathematics
Band 25 (2017): Heft 4 (December 2017)
Uneingeschränkter Zugang
Tarski Geometry Axioms. Part III
Roland Coghetto
Roland Coghetto
und
Adam Grabowski
Adam Grabowski
| 28. März 2018
Formalized Mathematics
Band 25 (2017): Heft 4 (December 2017)
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zusammenfassung
Referenzen
Autoren
Artikel in dieser Ausgabe
Vorschau
PDF
Zitieren
Teilen
Online veröffentlicht:
28. März 2018
Seitenbereich:
289 - 313
Eingereicht:
29. Nov. 2017
DOI:
https://doi.org/10.1515/forma-2017-0028
Schlüsselwörter
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.