Gödel's incompleteness theorems / Raymond M. Smullyan. — New York : Oxford University Press, 1992.
xiii, 139 p. ; 23 cm. — (Oxford logic guides ; 19)
Bibliografía: (p. 136-137) e índice.
ISBN 0195046722 (acid-free paper)