Classical Recursion Theory II, volume 143 of Studies in Logic (1999)

by P Odifreddi