АНГЛО-РУССКИЙ АВТОБРОНЕТАНКОВЫЙ СЛОВАРЬ
СОСТАВИТЕЛИ А.П.ЧОЧИА1961 年出版784 页ISBN:
(苏)阿斯姆斯(В.Х.Асмус)著;臧之权译1955 年出版100 页ISBN:2002·13
目次一科学思维与证明二证明与推理三作为选择对象的证明四证明的结构一、证明的论题二、证明的根据(论据)甲、作为证明根据的关于已证实事实的命题乙、作为证明根据的定义丙、作为证明根据的公理和公设丁、作...
(苏)普列奇斯坚斯基,С.А.著;铜影,兆波译1965 年出版184 页ISBN:15165·3926
(苏)拉甫伦捷夫(М.А.Лаврентьев),(苏)沙巴特(Б.А.Шабат)著;施祥林,夏定中译1956 年出版340 页ISBN:13010·108