Alfredo Ferro · 4 obras en el catálogoObrasFun with AlgorithmsPProceedings of the Fourth International Conference on SImilaProceedings of the Fourth International Conference on SImilarity Search and APplicationsComputable set theoryDecision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is present
PProceedings of the Fourth International Conference on SImilaProceedings 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
