Set Theory for Computing. From Decision Procedures to Declarative Programming with Sets

Type