E Omodeo

3 books • 1 series

Aug 22, 2011
Cover of Decision Procedures for Elementary Sublanguages of Set Theory. VII. Validity in Set Theory When a Choice Operator Is Present

Decision Procedures for Elementary Sublanguages of Set Theory. VII. Validity in Set Theory When a Choice Operator Is Present

Aug 22, 2011
Cover of Decision Algorithms for Some Fragments of Analysis and Related Areas

Decision Algorithms for Some Fragments of Analysis and Related Areas

May 1, 1990
Cover of Computable Set Theory

Computable Set Theory (International Series of Monographs on Computer Science, #6)