# Essential Logic for Computer Science

Canonical: https://www.bookquiver.com/rex-page/essential-logic-for-computer-science

![Essential Logic for Computer Science](https://quivercdn.com/covers/the-mit-press/rex-page/essential-logic-for-computer-science_978-02-6203-918-5.jpg?v=2026-06-08%2011%3A31%3A20)

- Authors: [Rex Page](https://www.bookquiver.com/rex-page), [Ruben Gamboa](https://www.bookquiver.com/ruben-gamboa)
- Language: en_US
- Published: 2019-01-08

## Description

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory. Computer scientists use logic for testing and verification...

## Editions

### Essential Logic for Computer Science

- Publisher: the_mit_press
- ISBN: 978-02-6203-918-5
- Pages: 304
- Published: 2019-01-08
- Language: en_US