Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets Book Discussion
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
by
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)