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