Intuitionism An introduction. - HEYTING A (Amsterdam North-Holland publishing co., 1956)
BIbliography :P.123-128; Glossary :133p.