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...