LOGIC OF COMPUTER SCIENCE - 2ND ED cambridge usa
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical ap...