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.
| ISBN: | 9789971502515 |
| Publication date: | 1st July 1989 |
| Author: | Zhongwan Lu |
| Publisher: | World Scientific Publishing an imprint of World Scientific |
| Format: | Hardback |
| Pagination: | 260 pages |
| Series: | World Scientific Series In Computer Science |
| Genres: |
Computer programming / software engineering |