Diagonalization and Self-Reference Hardcover – Feb 1 1984
by Raymond M. Smullyan (Author)

Foundations without Foundationalism:
A Case for Second-Order Logic Paperback – Apr 30 1999
by Stewart Shapiro (Author)

Elementary Induction on Abstract Structures Paperback – Jun 11 2008
by Yiannis N. Moschovakis (Author)

Classical Descriptive Set Theory Hardcover – Jan 6 1995
by Alexander Kechris (Author)