TY  - RPRT
TI  - First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers
AU  - Gergely Székely
PY  - 2010
UR  - https://arxiv.org/abs/1005.0973
ID  - 1005.0973
ER  -