Alfredo Ferro

Fun with Algorithms

Proceedings of the Fourth International Conference on SImilarity Search and APplications

Decision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is present

Computable set theory