Constructive arithmetic.
Robinson, A. F.
London, 
1938-[1939]