题名:	1963年全国数理逻辑专业学术会议论文选集 / 中国电子学会电子计算机专业委员会编 ,
中图分类法:	O141-53 版次：
索书号:	O141-53/5061