Intuitionism an introduction (North-Holland, 1956)
Includes bibliographical references and index