Most Popular Books
- Fun with Algorithms: 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings
- Decision Algorithms for Some Fragments of Analysis and Related Areas
- 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. XIV. Three languages involving rank related constructs
- Decision Procedures for Elementary Sublanguages of set Theory. VII. Validity in set Theory When a Choice Operator is Present
