Chwistek Leon
The theory of constructive Types : (Principies of logic and mathematics). Part II. Cardinal arithmetic