"Information and Knowledge: A Constructive Type-theoretical Approach " - читать интересную книгу автора (Giuseppe Primiero)