Title: Diagonalization and self-reference
First published: 1994
Subjects: Fixed point theory, Recursion theory, Logic
LC classification: QA9.6 .S67 1994