Get This : Information and Knowledge [electronic resource] : A Constructive Type-theoretical Approach / by Giuseppe Primiero.
Title : Information and Knowledge [electronic resource] : A Constructive Type-theoretical Approach / by Giuseppe Primiero.
Call Number : No call number
Status : Unknown