An edition of Set theory for computing
(2001)
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
2013, Springer
in English
1475734522 9781475734522
|
zzzz
|
|
2
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
2011, Springer New York
in English
1441929053 9781441929051
|
zzzz
|
3
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
June 26, 2001, Springer
in English
0387951970 9780387951973
|
aaaa
|
Book Details
First Sentence
"Set theory, conceived toward the end of the nineteenth century, shaped the language of today's mathematics."
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| July 7, 2019 | Edited by MARC Bot | import existing book |
| February 13, 2019 | Created by MARC Bot | import existing book |