brouwer.luitzen egbertus jan,1881-1966 <br/><br/>
collected works heyting,a.(ed.) 

 - 1st.ed. | Amsterdam North-Holland   1975