2 works on record
Intuitionistic Proof Versus Classical Truth
Arbitrary Reference in Logic and Mathematics