The following pages link to A representation of recursively enumerable sets through Horn formulas in higher recursion theory (Q1677584):
Displayed 1 item.