Mathematical Logic for Computer Science. World Scientific Publishing Co (1989)

by Lu Zhongwan
Venue:Pte. Ltd., P O Box 128, Farrer Road, Singapore