Principles of Intuitionism: Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (lecture Notes in Mathematics, 95)

A. S. Troelstra (auth.)