著者:	19970628d1982 kemy0enga0121 ba
次要责任者:	Logic Colloquium`81