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 edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 3 featured editions. View all 3 editions?
| Edition | Availability |
|---|---|
1
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
2013, Springer
in English
1475734522 9781475734522
|
zzzz
Libraries near you:
WorldCat
|
|
2
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
2011, Springer New York
in English
1441929053 9781441929051
|
zzzz
Libraries near you:
WorldCat
|
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
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Set theory, conceived toward the end of the nineteenth century, shaped the language of today's mathematics."
Classifications
ID Numbers
Community Reviews (0)
Feedback?
| July 7, 2019 | Edited by MARC Bot | import existing book |
| February 13, 2019 | Created by MARC Bot | import existing book |