著者:	19970901d1987 kemy0enga0121 ba
次要责任者:	Symposium Logic in Computer Science
索书号:	1