Inverse relations

[ .. ] → schema:isPartOf → Classical recursion theory / P.G. Odifreddi