1.
Set Theory for Computing From Decision Procedures to Logic Programming With Sets
by Cantone, Domenico, Policrit...
ISBN: 9780387951973
List Price: $89.95
2.
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
by Schwartz, Jacob T., Cantone...
ISBN: 9780857298072
List Price: $89.95
3.
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Mon...
by Cantone, Domenico, Omodeo, ...
ISBN: 9781441929051
List Price: $89.95
4.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
by Omodeo, Eugenio G., Policri...
ISBN: 9783319418414
List Price: $139.00
6.
On Sets and Graphs : Perspectives on Logic and Combinatorics
by Omodeo, Eugenio G., Policri...
ISBN: 9783319549804
List Price: $69.99
7.
Computational Logic And Set Theory
by Schwartz, Jacob, Omodeo, Eu...
ISBN: 9780387407623
List Price: $69.95
OUT OF STOCK
See Availability on Amazon8.
Computable Set Theory, Vol. 1
by Cantone, Domenico, Ferro, A...
ISBN: 9780198538073
List Price: $70.00
OUT OF STOCK
See Availability on Amazon9.
On Sets and Graphs: Perspectives on Logic and Combinatorics
by Omodeo, Eugenio G., Policri...
ISBN: 9783319855363
List Price: $69.99
10.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
by Omodeo, Eugenio G., Policri...
ISBN: 9783319824437
List Price: $149.99