Monographs in Computer Science Ser.: Set Theory for Computing : From Decision…
The product is a textbook titled “Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets”, part of the Monographs in Computer Science series. It focuses on computers, mathematics, computer science, logic, set theory, and compilers.