TY - BOOK AU - Smullyan, Raymond M. TI - Diagonalization and Self-Reference SN - 0 19 853450 7 CY - Oxford KW - Diagonalization KW - Self-Reference ER -