Smullyan, R. M. (1993). Recursion theory for metamathematics. Oxford University Press.
Trích dẫn kiểu ChicagoSmullyan, Raymond M. Recursion Theory for Metamathematics. New York: Oxford University Press, 1993.
Trích dẫn MLASmullyan, Raymond M. Recursion Theory for Metamathematics. Oxford University Press, 1993.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.