The theory of constructive types (principles of logic and mathematics): Part 1--general principles of logic. Theory of classes and relationsby Chwistek, LeonWriting a summary for young readers…For young readersBook data: Open Library