1. Recursion theory for metamathematics by Smullyan, Raymond M. Publication: New York : Oxford University Press, 1993 . 1 online resource (xiv, 163 p.) Date:1993 Availability: No items available: Actions: Add to cart
2. G�odel's incompleteness theorems by Smullyan, Raymond M. Publication: New York : Oxford University Press, 1992 . 1 online resource (xiii, 139 p.) Date:1992 Availability: No items available: Actions: Add to cart
3. Who knows? by Smullyan, Raymond M. Publication: Bloomington : Indiana University Press, 2003 . 1 online resource (x, 142 pages) Date:2003 Availability: No items available: Actions: Add to cart