Mathematical Logic For Computer Science

ISBN: 9789971502515 出版年：1989 页码：250 Zhongwan Lu World Scientific Publishing Company

This book describes the aspects of mathematical logic related to computer sciences. The materials adopted in this book are intended to attend to both the peculiarities of logical systems and the requirements of computer science.