TY  - BOOK
AU  - brouwer.luitzen egbertus jan,1881-1966
TI  - collected works heyting,a.(ed.)
CY  - 1st.ed. | Amsterdam North-Holland 
ER  -