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