Email Address * *
Name
Subject *
Message * Set Theory for Computing From Decision Procedures to Declarative Programming with Sets - 0387951970 - 9780387951973