Logic in Computer Science 2ed

Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Read More

Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Read Less