A Ferro

5 books • 1 series

Aug 22, 2011
Cover of Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs

Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs

Aug 22, 2011
Cover of Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator

Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator

Aug 22, 2011
Cover of Decision Procedures for Elementary Sublanguages of Set Theory. VI. Multi-Level Syllogistic Extended by the Powerset Operator

Decision Procedures for Elementary Sublanguages of Set Theory. VI. Multi-Level Syllogistic Extended by the Powerset Operator

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)