数理逻辑 = A mathematical introduction to logic

Main Authors: 美 Enderton Herbert B ((美)Herbert B.Enderton著)
Group Author: 沈复兴 (译); 陈磊 (译); 孙运传 (译)
Published: 人民邮电出版社
Publication Dates: 2007
Call Number: O141/3189