Cover Image
Read Now

1
by Cantone, Domenico, Omodeo, Eugenio, Policriti, Alberto
Published 2001
Springer New York
Table of Contents: “...1 What Is Computable Set Theory? -- 2 Logical Background -- 3 Axiomatic Views of Aggregates -- 4...”
Cover Image
Read Now

2
by Schwartz, Jacob T., Cantone, Domenico, Omodeo, Eugenio G.
Published 2011
Springer London
“... on computational logic and set theory and its application to proof verification techniques, culminating...”
Cover Image
Read Now

3
by Cantone, Domenico, Ursino, Pietro
Published 2018
Springer International Publishing
Table of Contents: “...Part I: Theoretical Apparatus -- Basics of Set Theory -- The Decision Problem in Set Theory...”