Foundation Of Constructive Analysis - Lascelles Abercrombie (McGraw-Hill Inc, 1967)