Effective Matchmaking (Recursion Theoretic Aspects of a Theorem of Philip Hall)

• 1 November 1972
• journal article
• Published by Wiley in Proceedings of the London Mathematical Society
• Vol. s3-25  (4) , 615-654
• https://doi.org/10.1112/plms/s3-25.4.615

Abstract