Mark Ryan Books
Logic In Computer Science: Modelling And Reasoning About Systems
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
Read More