Vol. 344. Troelstra, Anne Sjerp 
Mathematical investigation of intuitionistic arithmetic and analysis 
QA9.47 T75