Descriptive Set Theory, 2nd Edition Promoted by Amazon
Introduction to higher-order categorical logic Promoted by Amazon