Axiomatization of Special Relativity in First Order Logic

所属期刊栏目：66

资助基金：Supported by the National Science Foundation of China under Grant Nos.11235003 and 11475023,National Social Sciences Foundation of China under Grant No.14BZX078 and the Research Fund for the Doctoral Program of Higher Education of China,and the Undergraduate Training Program of Beijing

在线出版日期：2016-07-29（万方平台首次上网日期，不代表论文的发表时间）

页码：19-28