Text this: The theory of constructive types : (principles of logic and mathematics) / By Leon Chwistek.