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