Heyting, A
Intutitionism An Introduction - Amsterdam North-Holland Publishing Company 1956 - viii, 132p - Studies in logic and the foundations of mathematics .
Logic
Mathematics
510.6 / HEY
Intutitionism An Introduction - Amsterdam North-Holland Publishing Company 1956 - viii, 132p - Studies in logic and the foundations of mathematics .
Logic
Mathematics
510.6 / HEY