Showing 1 - 7 of 7 Results
1.
Set Theory for Computing From Decision Procedures to Logic Programming With Sets by Cantone, Domenico, Policrit... ISBN: 9780387951973 List Price: $89.95
2.
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Mon... by Cantone, Domenico, Omodeo, ... ISBN: 9781441929051 List Price: $89.95
3.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations by Omodeo, Eugenio G., Policri... ISBN: 9783319418414 List Price: $139.00
4.
On Sets and Graphs: Perspectives on Logic and Combinatorics by Omodeo, Eugenio G., Policri... ISBN: 9783319855363 List Price: $69.99
5.
On Sets and Graphs : Perspectives on Logic and Combinatorics by Omodeo, Eugenio G., Policri... ISBN: 9783319549804 List Price: $69.99
6.
Set Theory for Computing by Cantone, Domenico, Omodeo, ... ISBN: 9781475734539 List Price: $24.99
7.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations by Omodeo, Eugenio G., Policri... ISBN: 9783319824437 List Price: $149.99