Vol. 95. Troelstra, Anne Serp 
Principles of Intuitionism: Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) Oct at SUNY at Buffalo, N. Y. 
QA9.47 T76