3 works on record
Games, Logic, and Constructive Sets
A Short Introduction to Intuitionistic Logic (University Series in Mathematics) (University Series in Mathematics)
Short Introduction to Intuitionistic Logic