
Axiomatization of Special Relativity in First Order Logic
Yi-Chen Luo, Lei Chen, Wan-Ting He, Yong-Ge Ma, Xin-Yu Zhang
Communications in Theoretical Physics ›› 2016, Vol. 66 ›› Issue (01) : 19-28.
Axiomatization of Special Relativity in First Order Logic
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 |
|
〉 |