题名	责任者	出版社	索书号
多值逻辑函数结构理论研究	刘任任, 欧阳建权著	科学出版社	O141.3/0222
递归论	莫绍揆著	科学出版社	O141.3/4425