吴允曾选集：数理逻辑与计算机科学

Main Authors: 吴允曾 (吴允曾著)
Group Author: 康奉 (主编)
Published: 北京科学技术出版社
Publication Dates: 1991
Call Number: O141/6828