Set Theory for Computing
Subtitle: From Decision Procedures to Declarative Programming with Sets
Publisher: Springer New York
Published: 2011
Language: eng
Number of pages: 409
ISBN-13: 9781441929051
Subjects: Set theory; Computable functions