Logic in the writings of Brouwer and Heyting
Logic in the writings of Brouwer and Heyting / by A.S. Troelstra