Classical Recursion Theory, volume 125 of Studies in Logic (1989)

by Odifreddi P Odifreddi