Computable structure theory: the work of J.B. Remmel, Logical Foundations of Computer Science, Deerfeld Beach, Florida (invited). Conference Paper uri icon