АНГЛО-РУССКИЙ СЛОВАРЬ ГЛАГОЛЬНЫХ СЛОВОСОЧЕТАНИЙ
Э. М. МЕДНИКОВОЙ1986 年出版635 页ISBN:
(苏)阿斯姆斯(В.Х.Асмус)著;臧之权译1955 年出版100 页ISBN:2002·13
目次一科学思维与证明二证明与推理三作为选择对象的证明四证明的结构一、证明的论题二、证明的根据(论据)甲、作为证明根据的关于已证实事实的命题乙、作为证明根据的定义丙、作为证明根据的公理和公设丁、作...
(苏)伊尔因斯基(.Б.В.Илъинткий)著;裘怿钊译1963 年出版341 页ISBN:14048·2737
ПРИЛОЖЕНИЕЯ И УКАЗАТЕЛИ К КИТАЙСКО-РКССКОМУ СЛОВАРЮ
И.М.ОШАНИНА1955 年出版207 页ISBN: