E. Omodeo

Identifiers

Open LibraryOL10585224A

Books by E. Omodeo

Total count: 2

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

Creative Media Partners, LLC2018-01-01
Decision Algorithms for Some Fragments of Analysis and Related Areas

Creative Media Partners, LLC2018-01-01