Enumerations in computable structure theory (0)

by Sergey Goncharov, Valentina Harizanov, Julia Knight, Charles McCoy, Russell Miller, Reed Solomon
Venue:Ann. Pure Appl. Logic