TY  - RPRT
TI  - An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds
AU  - Hajnal Andréka
AU  - Judit X. Madarász
AU  - István Németi
AU  - Gergely Székely
PY  - 2013
UR  - https://arxiv.org/abs/1310.1475
ID  - 1310.1475
ER  -