5 books in this genre
Extensional Gödel functional interpretation
Horst Luckhardt
A short introduction to intuitionistic logic
Grigori Mints
Proof Methods For Modal And Intuitionistic Logics
Melvin Fitting
Choice sequences
A. S. Troelstra
Intensional mathematics
Stewart Shapiro
