(1979). Logic: Form and function : the mechanization of deductive reasoning / J. A. Robinson.
芝加哥风格引文Logic: Form and Function : The Mechanization of Deductive Reasoning / J. A. Robinson. 1979.
MLA引文Logic: Form and Function : The Mechanization of Deductive Reasoning / J. A. Robinson. 1979.
警告：这些引文格式不一定是100％准确.