Descriptive Set Theory (Studies in Logic and the Foundations of Mathematics: No.100)

Categorical Logic and Type Theory (Studies in the Foundations of Mathematics Volume 141)

Set Theory (Studies in Logic: Mathematical Logic and Foundations)

Set Theory An Introduction To Independence Proofs (Volume 102) (Studies in Logic...

Constructivism in Mathematics, Vol 1 (Volume 121) (Studies Logic and the Foundations of Volume